An Optimization Modulo Theory Solver.
Project description
A library for OMT(BV) Solving
The Problem
The Engines
Reduce to Quantified SMT
- Z3
- CVC5
- Yices-QS
- Bitwuzla
Reduce to Weighted MaxSAT
- The OBV-BS algorithm
- The FM algorithm
- The RC2 algorithm
- Off-the-shelf MaxSAT solvers
https://github.com/FlorentAvellaneda/EvalMaxSAT
Exiting OMT Solver
- Z3 (to MaxSAT?)
- OptimathSAT
- ...
SMT-based Iterative Search
- Linear search
- Binary search
TBD
- Differential testing?
pysmt.exceptions.ConvertExpressionError: Unsupported expression: bvxnor(bv_41-0, bv_41-0)
References
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
pyomt-0.0.1.tar.gz
(58.4 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
pyomt-0.0.1-py2.py3-none-any.whl
(66.4 kB
view details)
File details
Details for the file pyomt-0.0.1.tar.gz.
File metadata
- Download URL: pyomt-0.0.1.tar.gz
- Upload date:
- Size: 58.4 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.9.6
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
aa7e4e44aa24247549e3b75377c22527ee9101db51a443bac9261e07720e5cfb
|
|
| MD5 |
5074e889c112ecbb9ce5b187743517bf
|
|
| BLAKE2b-256 |
b6f2472fdabdb69c3f0d741a925e99ca77c5f3b0493773c6069a1c13b1abd79b
|
File details
Details for the file pyomt-0.0.1-py2.py3-none-any.whl.
File metadata
- Download URL: pyomt-0.0.1-py2.py3-none-any.whl
- Upload date:
- Size: 66.4 kB
- Tags: Python 2, Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.9.6
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
04aabe732c2da392597ca5d9e2b158326f761bbee852f233361bea6852b4f57f
|
|
| MD5 |
3b704984123309fdc6c09af5f992e877
|
|
| BLAKE2b-256 |
9b8ca285375ae9c31a61afe7d4f0056648522803e4ddf503a6b24d7257f05dc9
|
