TU Delft Algorithmics
Marijn Heule
Technische Universiteit Delft Software ALG Group
EWI ALG Marijn HeuleSoftware
eng
 
Home
 
Resume
 
Publications
 
Project
 
Software
 
Awards
 
Links
Satisfiability solvers
march_pl:
version of march_pl (08-09-2007).

source (79 kb)             static binary (653 kb)
UnitMarch v1.1:
latest version of UnitMarch. Now includes 64-bit support and optional autarky detection. (30-10-2007).

source (16 kb)             static binary (1249 kb)
                                                                                                                                                                                                                                                                             
SAT 2007
SAT 2005
SAT 2004
SAT 2003
Top of the page

The newest version of this page can be found at: http://www.st.ewi.tudelft.nl/~marijn/software.php
Last modified: Wed, 25 Jun 2008 19:32:18 GMT  

Copyright © 2005 Marijn Heule. Please mail if you find any errors or omissions.
All Rights Reserved. Design A. Iosup.