Download

 

The User's Guide (for V2.0):

The user's guide gives an instruction to the Succinct Solver (V2.0) and the guidelines of using the solver.  We recommend the user to read it before downloading the solver.

http://www.imm.dtu.dk/cs_SuccinctSolver/userGuide.pdf

 

The sources of the Succinct Solver (V2.0):

The sources of the Succinct Solver (V2.0) coded in SML/NJ can be obtained from:

http:/www.imm.dtu.dk/cs_SuccinctSolver/solver2.0.zip

 

The sources of the Succinct Solver (V1.0):

The sources of the Succinct Solver (V1.0) coded in SML/NJ can be obtained from:

http:/www.imm.dtu.dk/cs_SuccinctSolver/solver1.0.zip

 

A framework for a web application:

A framework of using the solver as a Web server process is described in the User's Guide, The source code and a demo example for a Web application can be obtained from:

http://www.imm.dtu.dk/cs_SuccinctSolver/browserfw.zip