Paramita

Documentation | PyPI | Paramita Interfaces | Paramita Plugins

Paramita is an extensible framework for building applications around SAT, MaxSAT and related satisfiability technologies. It provides a unified API for interacting with different solvers, supports plugins written in C++ and Python, and includes modelling tools for constructing and solving problems.

Quick Start

Paramita is available at PyPI and can be installed using pip:

pip install paramita

The core Paramita package is independent of any specific solver. Solvers, encoders and other components are distributed as plugins that can be installed independently. For this example, we will download, compile and install CaDiCaL version 3.0.0 from the default paramita-plugins repository:

paramita plugins build cmake '#sat-solvers/cadical-3.0.0'

Then, we can use the compiled CaDiCaL 3.0.0 SAT solver to solve a CNF formula in Python:

from paramita.solvers import SatSolver

solver = SatSolver.from_name("Cadical300")
solver.add_clauses([[1, 2], [-1, -2]])
is_sat = solver.solve()
print(is_sat)

For more information you can visit the official documentation.

Project links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Latest release

2 maintainers

PyPI data
Data sourced directly from PyPI's database.
Avatar for hlog from gravatar.com hlog Avatar for josepalos from gravatar.com josepalos

Credits

Author: Logic and Optimization Group

Requires

Python >=3.8

Tags

sat maxsat constraint

Classifiers

Report project as malware

Download files

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

Source Distributions

No source distribution files available for this release.See tutorial on generating distribution archives.

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

paramita-1.0.0-cp313-cp313-manylinux_2_34_x86_64.whl (1.3 MB view details)

Uploaded CPython 3.13manylinux: glibc 2.34+ x86-64

paramita-1.0.0-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (1.4 MB view details)

Uploaded CPython 3.13manylinux: glibc 2.27+ x86-64manylinux: glibc 2.28+ x86-64

paramita-1.0.0-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl (1.4 MB view details)

Uploaded CPython 3.13manylinux: glibc 2.17+ x86-64

paramita-1.0.0-cp312-cp312-manylinux_2_34_x86_64.whl (1.3 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.34+ x86-64

paramita-1.0.0-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (1.4 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.27+ x86-64manylinux: glibc 2.28+ x86-64

paramita-1.0.0-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl (1.4 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.17+ x86-64

paramita-1.0.0-cp311-cp311-manylinux_2_34_x86_64.whl (1.3 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.34+ x86-64

paramita-1.0.0-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (1.4 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.27+ x86-64manylinux: glibc 2.28+ x86-64

paramita-1.0.0-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl (1.4 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.17+ x86-64

paramita-1.0.0-cp310-cp310-manylinux_2_34_x86_64.whl (1.3 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.34+ x86-64

paramita-1.0.0-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (1.4 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.27+ x86-64manylinux: glibc 2.28+ x86-64

paramita-1.0.0-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl (1.4 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.17+ x86-64

paramita-1.0.0-cp39-cp39-manylinux_2_34_x86_64.whl (1.3 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.34+ x86-64

paramita-1.0.0-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (1.4 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.27+ x86-64manylinux: glibc 2.28+ x86-64

paramita-1.0.0-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl (1.4 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.17+ x86-64

paramita-1.0.0-cp38-cp38-manylinux_2_34_x86_64.whl (1.3 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.34+ x86-64

paramita-1.0.0-cp38-cp38-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (1.4 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.27+ x86-64manylinux: glibc 2.28+ x86-64

paramita-1.0.0-cp38-cp38-manylinux2014_x86_64.manylinux_2_17_x86_64.whl (1.4 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.17+ x86-64

File details

Details for the file paramita-1.0.0-cp313-cp313-manylinux_2_34_x86_64.whl.

File metadata

File hashes

Hashes for paramita-1.0.0-cp313-cp313-manylinux_2_34_x86_64.whl
Algorithm Hash digest
SHA256 c884c29de307e59e72685f1bfb0dc86501c112b8dfd503d046e34657410da558
MD5 a28f2603facb649c7e25986a1b7e9012
BLAKE2b-256 be54e6025d0635781b22c22f74321099759153b9f847f91831723331baabe430

See more details on using hashes here.

File details

Details for the file paramita-1.0.0-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for paramita-1.0.0-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 af5e3c33f3db39d0cb54d5ffc64383784f6b49e7e5ed4015cbb08d91a3c030de
MD5 897cf10a7d6c0fbe9a6ffbe4ed5e3e82
BLAKE2b-256 bc6753291249dde06ceb0b1417d8534c7fc04a63eed3f59a66f1fd8ed55fbbfa

See more details on using hashes here.

File details

Details for the file paramita-1.0.0-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl.

File metadata

File hashes

Hashes for paramita-1.0.0-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
Algorithm Hash digest
SHA256 28f178a16208cb711c85eb4ce8b8f3deb9b91f6ce3f3fe8e2a13378c19e42c03
MD5 46cdf8ed333861d9d46f8a343e9f7b6a
BLAKE2b-256 ea282b439d21013d218625568fc1f25105bb6a6ac980eb42f524060225f50f3e

See more details on using hashes here.

File details

Details for the file paramita-1.0.0-cp312-cp312-manylinux_2_34_x86_64.whl.

File metadata

File hashes

Hashes for paramita-1.0.0-cp312-cp312-manylinux_2_34_x86_64.whl
Algorithm Hash digest
SHA256 4615c8c8e0d68fa55e8136b0869ce04c06cc8ab13b7d8b789fbd4c6315ca306e
MD5 26e41d9878ee4ae17d151929bb3ebf7f
BLAKE2b-256 4c478f29ade8a1eed97eba3b797e2962742b62bcca7a05395fe9867943af7b6c

See more details on using hashes here.

File details

Details for the file paramita-1.0.0-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for paramita-1.0.0-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 95171d9264bdd0a91d9bb009e7abe51a873aefec1b0e549fc90c2be908cea658
MD5 1c5011faac6f30f639ce428f818eef29
BLAKE2b-256 c12291d02dba88e27b4466adf8a5209085d3740c72bec7be7f4b3208f2eaa38a

See more details on using hashes here.

File details

Details for the file paramita-1.0.0-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl.

File metadata

File hashes

Hashes for paramita-1.0.0-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
Algorithm Hash digest
SHA256 4f7098c40828aa9e4a4e37497cfff4d375ba6bf9a4009d8093894c86bb1f1157
MD5 3605023b9004d584596d6cf7b10b4b2f
BLAKE2b-256 a4e7aeb0104fcc79162959cdc6e786b19f7ad114a9b996601dbe482c014999f0

See more details on using hashes here.

File details

Details for the file paramita-1.0.0-cp311-cp311-manylinux_2_34_x86_64.whl.

File metadata

File hashes

Hashes for paramita-1.0.0-cp311-cp311-manylinux_2_34_x86_64.whl
Algorithm Hash digest
SHA256 530bff3854428d4a9494aad06b25ab4e9d72cf489aba69b1fc067f57fecd1abe
MD5 c8d1ed5fee75f31723c3eea855f419a3
BLAKE2b-256 8f620f902b6fa4e65f5c2573688e461ad244d786a153c171117638265c2662be

See more details on using hashes here.

File details

Details for the file paramita-1.0.0-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for paramita-1.0.0-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 5bdf64ecfaa615340a8f9124537749914b82a13303f24b59fc5f591430cb2d06
MD5 3398941a1c8154035fea7fc9f699549a
BLAKE2b-256 01f341a2baf0b9acc7022f8c036cf68d999cde9c5b81bb9dc4cfe70c1da5ffbe

See more details on using hashes here.

File details

Details for the file paramita-1.0.0-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl.

File metadata

File hashes

Hashes for paramita-1.0.0-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
Algorithm Hash digest
SHA256 d49c2276b9c56e1b355827b6225d4440df5338bbf63697dd37afd76d42278882
MD5 57205eee73938f471d286a258de78476
BLAKE2b-256 04580c9c03b079512029f952ca8f03ef30ec2e2266aa3857ee9bec5cf9993559

See more details on using hashes here.

File details

Details for the file paramita-1.0.0-cp310-cp310-manylinux_2_34_x86_64.whl.

File metadata

File hashes

Hashes for paramita-1.0.0-cp310-cp310-manylinux_2_34_x86_64.whl
Algorithm Hash digest
SHA256 b94e75b57685cd5d7720d2d65465af18541e137c91b387d6158603f30397ba64
MD5 4f9cbff2b35bb44783289e6e8f8fda8c
BLAKE2b-256 148a79dc7e5a5e65f8505483e24c45f1c50650e32d46f700e27d29a577b0efb1

See more details on using hashes here.

File details

Details for the file paramita-1.0.0-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for paramita-1.0.0-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 d254274de989e3f72749dba34b1ae217e1adb6c2bdc70795e8e9c6e77c779c8c
MD5 9678659550fdb89be05cdbf56b3d589d
BLAKE2b-256 a8acfcd31a527465448fe28ebd6e25c486a6113f8667257cb83a17c5e5e3f7b8

See more details on using hashes here.

File details

Details for the file paramita-1.0.0-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl.

File metadata

File hashes

Hashes for paramita-1.0.0-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
Algorithm Hash digest
SHA256 05864a8c80daae7e93b034ed0e2a07e02edc5cdd14fe5f1261b6510ea55f9807
MD5 5403cab8d041aa1fd072d5d91fad5cc3
BLAKE2b-256 e0678817bc2b371a7fc2fbdbb765aa68a9614b6274aade910a783b4684f9a4f5

See more details on using hashes here.

File details

Details for the file paramita-1.0.0-cp39-cp39-manylinux_2_34_x86_64.whl.

File metadata

File hashes

Hashes for paramita-1.0.0-cp39-cp39-manylinux_2_34_x86_64.whl
Algorithm Hash digest
SHA256 d4f706c192b5c80a7602f6a76c4d92011919580058812c90b9f960409da86fae
MD5 534b4868a9f5f763e93c57c4a6c4bd54
BLAKE2b-256 cb567cfd6e4e39a0a93013c3aa569a3e2dea0706861414680322e399c806215e

See more details on using hashes here.

File details

Details for the file paramita-1.0.0-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for paramita-1.0.0-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 6e5c2b4d647ac3879e9cad4830ff48e57631f7b8a85e7b99a93e42b3d61baadf
MD5 3975b851e117c0269104e8b7e37a8577
BLAKE2b-256 690027b3741d49c4d2ca6e6676727344bb7dfc6709ddc79003cb68aa765463fd

See more details on using hashes here.

File details

Details for the file paramita-1.0.0-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl.

File metadata

File hashes

Hashes for paramita-1.0.0-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
Algorithm Hash digest
SHA256 aa646d87b4b7bb63e0644f7a0d1ac3df8ce9bf1ea52e11018e98a70595e2dbf7
MD5 69b1f0e0d59c49e45e1a1fcfd796c57b
BLAKE2b-256 82eb3dc57abd3c345167d4ca3c46ecbdf3ac5e304043db464a0c5b93e77bccce

See more details on using hashes here.

File details

Details for the file paramita-1.0.0-cp38-cp38-manylinux_2_34_x86_64.whl.

File metadata

File hashes

Hashes for paramita-1.0.0-cp38-cp38-manylinux_2_34_x86_64.whl
Algorithm Hash digest
SHA256 b4219f8dcf936d98effa43887eaabf8171763e73b072f3017eacf06730078936
MD5 bee2c4bf09d441007816934c6680b334
BLAKE2b-256 c1dca5b8667b32b1f38b79506f07aaefbe340bbd9d8505b017d89af0d3c365b2

See more details on using hashes here.

File details

Details for the file paramita-1.0.0-cp38-cp38-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for paramita-1.0.0-cp38-cp38-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 fc92a6f82580b2c22863d63a56433c4a9495597213a964cefffe8ba37952b196
MD5 b2539e5d23a57dbae45dc10e19eb95f4
BLAKE2b-256 a4081616c99bc89931bf2f592da396eff5c610c5ecc44f5c389d19d5686ef2fe

See more details on using hashes here.

File details

Details for the file paramita-1.0.0-cp38-cp38-manylinux2014_x86_64.manylinux_2_17_x86_64.whl.

File metadata

File hashes

Hashes for paramita-1.0.0-cp38-cp38-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
Algorithm Hash digest
SHA256 aece673993164fabe8bc275c9dc093b053174703692bbd0be955cca355856b01
MD5 850f4acf25c01f50d1f037408bac78d9
BLAKE2b-256 ddd47e02c591c5ca3713eb54bccb11821287a19b69066885277794fe528ff947

See more details on using hashes here.

Release history Release notifications | RSS feed

This release

1.0.0 This release

18 files

0.0.1

18 files

Pre-release

0.0.0rc1

1 file

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page