pyomt

An Optimization Modulo Theory Solver.

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install pyomt

Dependencies

Releases

Version Released Bookworm
Python 3.11
Trixie
Python 3.13
Files
0.0.3 2025-01-17    
0.0.1 2024-11-21    

Issues with this package?

Page last updated 2026-09-03 13:40:26 UTC