solver freeware downloads
GNU Prolog for Mac OS X
1.5.0 freeware download... GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint logic ... times faster than wamcc. # Constraint solver: * FD variables well integrated into the ...
GNU Prolog for Windows (x32 bit)
1.5.0 freeware download... GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint logic ... times faster than wamcc. # Constraint solver: * FD variables well integrated into the ...
GNU Prolog for Windows (x64 bit)
1.5.0 freeware download... GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint logic ... times faster than wamcc. # Constraint solver: * FD variables well integrated into the ...
Gecode
4.4.0 freeware download... constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible. Gecode is: open Gecode is radically open ...
Gecode for Mac OS X
4.4.0 freeware download... constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible. Gecode is: open Gecode is radically open ...
Gecode for Linux
4.4.0 freeware download... constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible. Gecode is: open Gecode is radically open ...
Advanced Trigonometry Calculator
2.1.5 freeware download... status referenced on ATC window title Triangles Rectangles Solver Arithmetic Matrix Solver Solver Equation Solver (Polynomials Solver) Calculation of Determinants Hot Key "Ctrl+Alt+K" to launch