Gentoo Packages

Search

Package Information

Description:

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. 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. 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. 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.

Homepage:

http://minisat.se/Main.html https://github.com/stp/minisat/

License:

MIT

Versions

Metadata

Description

• 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. 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. 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. 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.

Maintainers

• Gentoo Science Project (sci@gentoo.org) - Type: project

Upstream

• Remote IDs:
  • github: niklasso/minisat
  • github: stp/minisat

<pkgmetadata>
	<maintainer type="project">
		<email>sci@gentoo.org</email>
		<name>Gentoo Science Project</name>
	</maintainer>
	<longdescription>
		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.
		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.
		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.
		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.
	</longdescription>
	<upstream>
		<remote-id type="github">niklasso/minisat</remote-id>
		<remote-id type="github">stp/minisat</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Warning] Missing md5-cache for version 2.2.1-r1. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.

USE Flags

Files

• minisat-2.2.1-cmake.patch
• minisat-2.2.1-cmake_minimum.patch
• minisat-2.2.1-musl.patch

Manifest