Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "SAT" keyword
test_pysolveengine 0.3
A library to model MILP/SAT problems and have them solved via the SolveEngine using the web API1 version - Latest release: over 6 years ago - 6 downloads last month - 0 stars on GitHub - 1 maintainer
Top 8.5% on pypi.org
1 version - Latest release: about 12 years ago - 41 dependent repositories - 189 downloads last month - 1 maintainer
borg 2012.4.01
the borg algorithm portfolio toolkit1 version - Latest release: about 12 years ago - 41 dependent repositories - 189 downloads last month - 1 maintainer
exact 1.2.1
Python bindings for Exact24 versions - Latest release: 11 months ago - 10 dependent repositories - 695 downloads last month - 3 stars on GitLab.com - 1 maintainer
Top 3.3% on pypi.org
43 versions - Latest release: 7 months ago - 6 dependent packages - 44 dependent repositories - 11.9 thousand downloads last month - 283 stars on GitHub - 1 maintainer
pyeda 0.29.0
Python Electronic Design Automation43 versions - Latest release: 7 months ago - 6 dependent packages - 44 dependent repositories - 11.9 thousand downloads last month - 283 stars on GitHub - 1 maintainer
pysolveengine 1.0.1
A library to model MILP/SAT problems and have them solved via the SolveEngine using the web API3 versions - Latest release: about 6 years ago - 1 dependent repositories - 15 downloads last month - 1 stars on GitHub - 1 maintainer
python-constraint2 2.0.0b5
python-constraint is a module for efficiently solving CSPs (Constraint Solving Problems) over fin...5 versions - Latest release: 5 months ago - 1 dependent package - 1.78 thousand downloads last month - 402 stars on GitHub - 1 maintainer
pyfiscal 2.1.2
Pyfiscal calculation of tax data.6 versions - Latest release: 3 months ago - 1 dependent repositories - 1.76 thousand downloads last month - 24 stars on GitHub - 1 maintainer
Related Keywords
MIP
3
SolveEngine
2
Optimization
2
PB
2
satisfiability
2
python
2
SMT
2
constraint solving problems
1
CSP
1
Two-level logic optimization
1
Two-level logic minimization
1
truth table
1
PicoSAT
1
mathematics
1
math
1
logic synthesis
1
logic optimization
1
borg
1
problem solver
1
satisfiability modulo theory
1
constraint-satisfaction-problem
1
RFC
1
CURP
1
NSS
1
fiscal
1
tax
1
curp
1
nss
1
algorithm
1
portfolio
1
solver
1
Binary linear programming
1
Integer Programming
1
cp
1
binary decision diagram
1
Boolean algebra
1
Boolean satisfiability
1
combinational logic
1
combinatorial logic
1
computer arithmetic
1
digital arithmetic
1
digital logic
1
EDA
1
electronic design automation
1
Espresso
1
Espresso-exact
1
Espresso-signature
1
logic
1
logic minimization
1