SAT4J for Mac

2.3.3 LGPL    
  UNRATED
DOWNLOAD NOW 507 KB

  474 downloads

Brings the power of SAT technology to the Java platform

description

download

specs

changelog

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.
read more   
Last updated on February 12th, 2013

top FREE alternatives

0 User reviews so far.

SUBMIT

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