diff options
author | Kubilay Kocak <koobs@FreeBSD.org> | 2014-08-23 06:30:29 +0000 |
---|---|---|
committer | Kubilay Kocak <koobs@FreeBSD.org> | 2014-08-23 06:30:29 +0000 |
commit | e3c5070587722756ad228e35952ee2413e3804ae (patch) | |
tree | 769d0be384ea7a8f5dfd01effc985c22e56f3b7a /devel/Makefile | |
parent | 59a53c3e3b57b24f7eedf7d6bcf1d98614d51e27 (diff) | |
download | ports-e3c5070587722756ad228e35952ee2413e3804ae.tar.gz ports-e3c5070587722756ad228e35952ee2413e3804ae.zip |
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
Notes
Notes:
svn path=/head/; revision=365711
Diffstat (limited to 'devel/Makefile')
-rw-r--r-- | devel/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile index 03eb67ada1e0..da68b9cd3e1e 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -3462,6 +3462,7 @@ SUBDIR += phptags SUBDIR += physfs SUBDIR += physfs-devel + SUBDIR += picosat SUBDIR += picp SUBDIR += picprog SUBDIR += piklab |