Gentoo Packages

Search

Install

Install this package:

emerge -a dev-haskell/puresat

Package Information

Description:

PureSAT uses DPLL with non-chronological backtracking and learning of binaary clauses. Solver is in no-comparison to the state of the art solvers, but it's fast enough to solve sudoku.

Homepage:

https://github.com/phadej/puresat

License:

BSD

Versions

Metadata

Description

• PureSAT uses DPLL with non-chronological backtracking and learning of binaary clauses. Solver is in no-comparison to the state of the art solvers, but it's fast enough to solve sudoku.

Maintainers

• Vladimir Pavljuchenkov (spiderx@spiderx.dp.ua) - Type: person
• Proxy Maintainers (proxy-maint@gentoo.org) - Type: project

Upstream

• Remote IDs:
  • hackage: puresat
  • github: phadej/puresat

<pkgmetadata>
	<maintainer type="person">
		<email>spiderx@spiderx.dp.ua</email>
		<name>Vladimir Pavljuchenkov</name>
	</maintainer>
	<maintainer type="project">
		<email>proxy-maint@gentoo.org</email>
		<name>Proxy Maintainers</name>
	</maintainer>
	<longdescription lang="en">
	PureSAT uses DPLL with non-chronological backtracking and learning of
	binaary clauses. Solver is in no-comparison to the state of the art
	solvers, but it's fast enough to solve sudoku.
	</longdescription>
	<use>
		<flag name="exe">Build executable</flag>
	</use>
	<upstream>
		<remote-id type="hackage">puresat</remote-id>
		<remote-id type="github">phadej/puresat</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Error] Manifest entry for unused DIST file 'puresat-0.1.0.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: [ 0.1.0.1 ]

USE Flags

Manage flags for this package: euse -i <flag> -p dev-haskell/puresat | euse -E <flag> -p dev-haskell/puresat | euse -D <flag> -p dev-haskell/puresat

Manifest