# The math/minisat port

## minisat-2.2.0.20170810p1 – minimalistic Boolean satisfiability solver

## Description

    MiniSat is a minimalistic, open-source Boolean satisfiability problem
    (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.

    The OpenBSD package of MiniSAT installs two binaries:
      minisat_core  = A core version of the solver.
      minisat       = An extended solver with simplification capabilities.

WWW: http://minisat.se/

Only for arches
  aarch64 aarch64 alpha alpha amd64 amd64 arm arm hppa hppa i386 i386 mips64 mips64 mips64el mips64el powerpc powerpc powerpc64 sh sparc64 sparc64
Categories:
  math

## Library dependencies

## Build dependencies

- STEM->=1.5.1:devel/ninja
- devel/cmake

## Run dependencies