SAT4J 2.3.3

Brings the power of SAT technology to the Java platform

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!

What's new in SAT4J 2.3.3:

  • Bug:
  • [SAT-65] - Fix the value of the objective function in maxsat when some constraints are satisfied
  • [SAT-75] - create a toString method for negated objects within Dependency Helper
  • [SAT-76] - Intermediate results not displayed during optimization
Read full changelog
report
malware
send us
an update
LICENSE TYPE:
LGPL 
FILE SIZE:
507 KB
USER RATING:
UNRATED
  0.0/5
DEVELOPED BY:
SAT4J Team
CATEGORY:
Home \ Math/Scientific

SAT4J is an open source and free reasoning engine library in Java based on the SATisfiability problem (SAT).

SAT4J library's goal is to provide an efficient library of SAT solvers in Java. Compared to the OpenSAT project, the SAT4J library targets first users of SAT "black boxes", willing to embed  SAT technologies into their application without worrying about the details.

Detailed usage instructions for the SAT4J reasoning engine are available here.

Last updated on February 12th, 2013

Runs on: Mac OS X (-)

requirements

#SAT framework #reasoning engine #SAT library #framework #SAT #reasoning #library

Add your review!

SUBMIT