MiniSat is a minimalistic, open-source SAT solver, developed to help
researchers and developers alike to get started on SAT.
Some key features of MiniSat:
* Easy to modify. MiniSat is small and well-documented, and possibly
also well-designed, making it an ideal starting point for adapting SAT
based techniques to domain specific problems.
* Highly efficient. Winning all the industrial categories of the SAT
2005 competition, MiniSat is a good starting point both for future
research in SAT, and for applications using SAT.
* Designed for integration. MiniSat supports incremental SAT and has
mechanisms for adding non-clausal constraints. By virtue of being easy
to modify, it is a good choice for integrating as a backend to another
tool, such as a model checker or a more generic constraint solver.
This is a temporary fix pending a change to qt4's installed pkg-config
files at a suitable point in the release cycle.
- Don't let autoconf pick up LLVM yet.
- regen PLIST, sync WANTLIB, bump PKGNAME.
With martynas@
This module provides a simple way to extend the Math::Symbolic parser
with arbitrary functions that return any valid Math::Symbolic tree. The
return value of the function call is inserted into the complete parse
tree at the point at which the function call is parsed.
from Markus Bergkvist (MAINTAINER), with a tweak by me
Math::Symbolic is intended to offer symbolic calculation capabilities to
the Perl programmer without using external (and commercial) libraries
and/or applications.
from Markus Bergkvist (MAINTAINER), with a tweak by me
Math::MatrixReal implements the data type "matrix of reals" (and
consequently also "vector of reals") which can be used almost like any
other basic Perl type thanks to OPERATOR OVERLOADING.
from Markus Bergkvist (MAINTAINER), with some tweaks by me
This package lets you create and manipulate complex numbers. By
default, Perl limits itself to real numbers, but an extra use statement
brings full complex support, along with a full set of mathematical
functions typically associated with and/or extended to complex numbers.
