Picosat SAT-Solver Wrapper

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for marco.gario from gravatar.com marco.gario

Unverified details

These details have not been verified by PyPI
Project links
GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Meta

License: BSD

Author: PySMT Team

Classifiers

Project description

pyPicosat provides a basic wrapping around the efficient Picosat SAT-Solver.

To build this wrapper you need SWIG to be installed.

Picosat is developed by Armin Biere, for more information: http://fmv.jku.at/picosat/

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for marco.gario from gravatar.com marco.gario

Unverified details

These details have not been verified by PyPI
Project links
GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Meta

License: BSD

Author: PySMT Team

Classifiers

Release history Release notifications | RSS feed

This version

965.1708010052

960.1708010010

960.1610040816

960.161003

960.160930

960.160919

960.160914

960.151030

960.dev1610040809 pre-release

960.dev1610040808 pre-release

960.dev1610040750 pre-release

960.dev1510301911 pre-release

960.dev1510262107 pre-release

960.dev1510251404 pre-release

960.dev1510241204 pre-release

960.dev1510241149 pre-release

960.dev1510241145 pre-release

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

pyPicosat-965.1708010052.tar.gz (412.4 kB view hashes)

Uploaded Source

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page