SAT4J

Brings the power of SAT technology to the Java platform
Download

SAT4J Ranking & Summary

Advertisement

  • Rating:
  • License:
  • LGPL
  • Price:
  • FREE
  • Publisher Name:
  • SAT4J Team
  • Publisher web site:
  • http://forge.ow2.org/projects/sat4j/
  • Operating Systems:
  • Mac OS X
  • File Size:
  • 366 KB

SAT4J Tags


SAT4J Description

Brings the power of SAT technology to the Java platform 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. Requirements: · Java What's New in This Release: · Bugfix release: fixes an efficiency error in the Xplain class.


SAT4J Related Software

About SoftwareSea