MultiSolver
Click here for a short description...
[X]
MultiSolver is a prototype of symbolic constraint solving system developed from the original constraint-solving subsystem of the termination tool mu-term. MultiSolver integrates multiple solvers coming from several approaches.

 

nVar: nCs:


Download Constraint Database here
Input Constraint Output
Choose a solver:
Options:

 

Last update

FEDER   MINECO    MICINN   GVA   UPV   DSIC  
"Una manera de hacer Europa"