cpofzn | CP Optimizer back end for Minizinc

by IBMDecisionOptimization C++ Version: v1.0.0 License: Apache-2.0

X-Ray Key Features Code Snippets(3)Community Discussions Vulnerabilities Install Support

kandi X-RAY | cpofzn Summary

cpofzn is a C++ library. cpofzn has no bugs, it has no vulnerabilities, it has a Permissive License and it has low support. You can download it from GitHub.

CP Optimizer uses optional interval variables to model tasks in scheduling however MiniZinc uses integer variables (e.g. to represent start times). For this reason, when a MiniZinc variable is used in a scheduling constraint (in particular cumulative) then cpofzn creates an interval variable that is synchronized with the original integer variable. Therefore scheduling models translated from MiniZinc are sub-optimal and it is recommended to use native CP Optimizer model instead. Also optional types (var opt int) are transformed into non-optionals at MiniZinc level. This is a second reason why the generated model is suboptimal.

Support

Quality

Security

License

Reuse

Support

cpofzn has a low active ecosystem.

It has 6 star(s) with 0 fork(s). There are 6 watchers for this library.

It had no major release in the last 12 months.

cpofzn has no issues reported. There are no pull requests.

It has a neutral sentiment in the developer community.

The latest version of cpofzn is v1.0.0

Quality

cpofzn has 0 bugs and 0 code smells.

Security

cpofzn has no vulnerabilities reported, and its dependent libraries have no vulnerabilities reported.

cpofzn code analysis shows 0 unresolved vulnerabilities.

There are 0 security hotspots that need review.

License

cpofzn is licensed under the Apache-2.0 License. This license is Permissive.

Permissive licenses have the least restrictions, and you can use them in most projects.

Reuse

cpofzn releases are available to install and integrate.

Installation instructions, examples and code snippets are available.

Top functions reviewed by kandi - BETA

kandi's functional review helps you automatically verify the functionalities of the libraries and avoid rework.
Currently covering the most popular Java, JavaScript and Python libraries. See a Sample of cpofzn

Get all kandi verified functions for this library.

cpofzn Key Features

No Key Features are available at this moment for cpofzn.

cpofzn Examples and Code Snippets

Building the

C++

Lines of Code : 11

License : Permissive (Apache-2.0)

Copy

   SET        CMAKE_EXE=
   SET  FLEX_EXECUTABLE=
   SET BISON_EXECUTABLE=
   SET CPLEX_STUDIO_DIR=
   REM Build code to compile
   "%CMAKE_EXE%" -D "FLEX_EXECUTABLE=%FLEX_EXECUTABLE%" ^
                 -D "BISON_EXECUTABLE=%BISON_EXECUTABLE%" ^

CpoFzn,Known issues,Cycles in

C++

Lines of Code : 4

License : Permissive (Apache-2.0)

Copy

Error: /tmp/mznfileOB3mKO.fzn:23: There is cycle in the model: expression 'X_INTRODUCED_10_' is using itself as a subexpression.
/tmp/mznfileOB3mKO.fzn:988:    .. The cycle contains mutable expression 'X_INTRODUCED_1046_'.
/tmp/mznfileOB3mKO.fzn:43:

CpoFzn,Usage

C++

Lines of Code : 1

License : Permissive (Apache-2.0)

Copy