Gentoo Packages

Search

Install

Install this package:

emerge -a sci-mathematics/minisat

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] Ebuild 2.2.1 has a line exceeding 80 positions on line 11.
• [Warning] USE flag 'doc' in ebuild 2.2.1 is not documented in metadata.xml
• [Error] Manifest entry for unused DIST file 'MiniSat.pdf'
• [Error] Manifest entry for unused DIST file 'minisat-2.2.1.tar.gz'
• [Error] Repository is missing a repo-name in metadata/layout.conf or profiles/repo_name
• [Notice] Package has only unstable keywords for arch(es): [ amd64, x86 ], all versions are unstable: [ 2.2.1 ]

USE Flags

Manage flags for this package: euse -i <flag> -p sci-mathematics/minisat | euse -E <flag> -p sci-mathematics/minisat | euse -D <flag> -p sci-mathematics/minisat

Files

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

Manifest