freebsd-ports/math/picosat/pkg-plist

bin/picogcnf
bin/picomcs
bin/picomus
bin/picosat
include/picosat.h
lib/libpicosat.a
lib/libpicosat.so
devel/picosat: Satisfiability (SAT) solver for boolean variables PicoSAT is a satisfiability (SAT) solver for boolean variables in boolean expressions. A SAT solver can determine if it is possible to find assignments to boolean variables that would make a given set of expressions true. If it's satisfiable, it can also show a set of assignments that make the expression true. Many problems can be broken down into a large SAT problem (perhaps with thousands of variables), so SAT solvers have a variety of uses. WWW: http://fmv.jku.at/picosat 2014-08-23 08:30:29 +02:00			`bin/picogcnf`
			`bin/picomcs`
			`bin/picomus`
			`bin/picosat`
			`include/picosat.h`
			`lib/libpicosat.a`
			`lib/libpicosat.so`