Download funny videos whatsapp
PROLOG-based Constraint Solvers
Millen-Shmatikov Constraint Solver
- http://www.constraintsolver.org/
- Interactive Java applet
- Availability: Free
Protocol-security solver
- http://www.csl.sri.com/users/millen/capsl/constraints.html
- LINUX
- Availability: Free
Boolean Constraint Solver
- http://www.sics.se/sicstus/docs/3.7.1/html/sicstus_31.html
- LINUX
- Availability: Not applicable
Cardinal Finite sets constraint solver (Eclipse prolog)
- http://ai.uwaterloo.ca/~vanbeek/Constraints/Papers/Azevedo06.pdf
- Not listed
- Availability: Not applicable
ALE : Attribute Logic Engine
- http://www.cs.toronto.edu/~gpenn/ale.html
- Not listed
- Availability: Free
IAsolver : the Brandeis Interval Arithmetic Constraint Solver ( java-enabled web browser to run the applet )
- http://www.cs.brandeis.edu/~tim/Applets/IAsolver.html
- Windows NT, Mac OS, SGI Indy running IRIX 5.3
- Availability: Free
CHIP V5, the Second-Generation Constraint Programming tool
- http://www.cosytec.com/production_scheduling/chip/optimization_product_chip.htm
- UNIX, Linux and Windows NT/2000
- Availability: Commercial
GNU Prolog
- http://sourceforge.net/projects/gprolog
- All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), Other Operating Systems
- Availability: Free
TOY
- http://sourceforge.net/projects/toy
- Not listed
- Availability: Free