NEWS ARCHIVE >>
SOFTPEDIA REVIEWS >>

7-DAY TOP DOWNLOAD

Satisfiability Solver


Downloads: 108	Add to download basket Tell us about an update

User Rating:
Rated by:

Fair (2.5/5)
20 user(s)


Developer: License / Price: Platforms: Databases: Language: Last Updated: Category:	Dufour Mark \| More scripts Freeware Windows / Linux / Mac OS / BSD / Solaris N/A Python June 7th, 2007, 08:18 GMT C: \ Scientific/Engineering \ Mathematics

Add a review

Satisfiability Solver script is a simple lookahead satisfiability solver.

It reads formula from DIMACS.cnf file.

Satisfiability Solver script is a simple lookahead satisfiability solver.

HTML code for linking to this page:

Go to top

SUBMIT PROGRAM \| ADVERTISE \| GET HELP \| SEND US FEEDBACK \| RSS FEEDS \| ENTER NEWS SITE \| ENGLISH BOARD \| ROMANIAN FORUM
© 2001 - 2008 Softpedia. All rights reserved. Softpedia™ and the Softpedia™ logo are registered trademarks of SoftNews NET SRL.	Copyright Information \| Privacy Policy \| Terms of Use \| Update your software \| Archive