MiniSat is a minimalistic, open-source SAT solver, developed to help
researchers and developers alike to get started on SAT. It is released under
the MIT licence, and is currently used in a number of projects.
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.
Mpc is a C library for the arithmetic of complex numbers with
arbitrarily high precision and correct rounding of the result.
It is built upon and follows the same principles as Mpfr. The
library is written by Andreas Enge, Philippe Theveny and Paul
Zimmermann and is distributed under the Gnu Lesser General Public
License, either version 2.1 of the license, or (at your option)
any later version. The Mpc library has been registered in France
by the Agence pour la Protection des Programmes on 2003-02-05
under the number IDDN FR 001 060029 000 R P 2003 000 10000.
MPIR is an open source multiprecision integer (bignum) library forked
from the GMP (GNU Multi Precision) project. It consists of much code
from past GMP releases, in combination with much original contributed
code.
MPIR is constructed by a developer and vendor friendly community of
professional and amateur mathematicians, computer scientists and
hobbyists.
NTL is an object oriented library for number theory, written
by Victor Shoup. It provides objects and methods for
- arbitrary length integers
- finite fields
- polynomials over fields
- extensions of fields.
- vectors and matrices over extensions
- finite rings
Unless you define WITHOUT_GMP, NTL requires libgmp4.
Matthias Bauer
matthiasb@acm.org
ocamlgraph is a graph library for Objective Caml. It provides an
easy-to-use graph data structure together with several operations
and algorithms over graphs.
The octave-forge package is the result of The GNU Octave Repositry project,
which is intended to be a central location for custom scripts, functions and
extensions for GNU Octave. contains the source for all the functions plus
build and install scripts.
This is actuarial.
Actuarial functions for Casualty and Property lines.
The octave-forge package is the result of The GNU Octave Repositry project,
which is intended to be a central location for custom scripts, functions and
extensions for GNU Octave. contains the source for all the functions plus
build and install scripts.
This is ad.
Automatic Forward Differentiation
The octave-forge package is the result of The GNU Octave Repositry project,
which is intended to be a central location for custom scripts, functions and
extensions for GNU Octave. contains the source for all the functions plus
build and install scripts.
This is audio.
Audio recording, processing and playing tools.
The octave-forge package is the result of The GNU Octave Repositry project,
which is intended to be a central location for custom scripts, functions and
extensions for GNU Octave. contains the source for all the functions plus
build and install scripts.
This baseport provides the basic directory structure, and installs a script
"load-octave-pkg", that synchronizes the FreeBSD ports structure to the octave
packaging system.
Another purpose of the script "load-octave-pkg" is to attempt to correct any
errors created by the octave packaging system.
The octave-forge package is the result of The GNU Octave Repositry project,
which is intended to be a central location for custom scripts, functions and
extensions for GNU Octave. contains the source for all the functions plus
build and install scripts.
This is bim.
Package for solving Diffusion Advection Reaction (DAR)
Partial Differential Equaltions based on the Finite Volume Scharfetter-Gummel
(FVSG) method a.k.a Box Integration Method (BIM)