isa-group / governify-csp-tools

isa-group/governify-csp-tools Issues

type: set of int, supported for csp governify tools
Closed 6 years ago1
csp- governify - Array parameter issue
Closed 6 years ago
governify csp supports array parameters? -An example
Closed 6 years ago1
data arrays CSP model
Closed 6 years ago
switch between two solvers when unsatisfiability detected
Updated 6 years ago1
display minizinc solution
Closed 6 years ago2
Return CSP document content in Reasoner callback
Updated 6 years ago
Add support for "enum" type
Updated 6 years ago
Unable to execute CSP model with no parameters declared
Closed 7 years ago
Update tests for every environment
Closed 7 years ago
Reasoner API returns unexpected object
Closed 7 years ago
Add static methods to create a CSP object from a generic JavaScript object
Closed 7 years ago
Fix remote solver
Closed 7 years ago
Avoid TLS rejection when executing reasoner in remote
Closed 7 years ago
Implement a API REST to execute CSP
Closed 7 years ago
Fix broken tests
Closed 7 years ago
Some improvements
Closed 7 years ago
Create an "API Reference" documentation section
Updated 6 years ago
Build minizinc docker image before test execution on Travis CI
Closed 7 years ago
Some improvements
Closed 7 years ago
Correct documentation
Closed 7 years ago