pypi.org : optimodel
Tools for generating ~shortest MILP and SAT models
Registry
-
Source
- Documentation
- JSON
purl: pkg:pypi/optimodel
Keywords:
minimization
, linear-programming
, milp
, cnf
, dnf
, satisfiability
, bitvectors
License: MIT
Latest release: 10 months ago
First release: over 2 years ago
Downloads: 70 last month
Stars: 1 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 9 days ago
Loading...
Readme
Loading...