python-sat
A Python library for prototyping with SAT oracles
- Latest release
- 1d ago
- Releases
- 175
- Known CVEs
- 0
- First release
- Jan 28, 2018
- License
- MIT
Repository
Source
- Stars
- —
- Forks
- —
- Open issues
- —
Security score
No OpenSSF Scorecard available for this repository.
Packages from this repo
No other tracked packages from this repository.
Insights
Activity
- Total releases
- 175
- Last 12 months
- 14
- Cadence
- ~8 days
- Dependencies
- 6
Releases per month
last 12 monthsRelease mix
- pre 175
175
releases
Dependencies
Depends on
1.9.dev5-
py-aiger-cnf >=2.0.0
-
pyapproxmc >=4.1.8
-
pycryptosat >=5.11.18
-
pypblib >=0.0.3
-
pyunigen >=4.1.20
-
six
Used by
19-
akari-sat
-
autoguess
-
bauhaus
-
c2q-framework
-
cirbo
-
codedistance
-
cpmpy
-
demystify
-
dfainductor
-
dfa_identify
1–10 of 19
Releases
| Version | Released | |
|---|---|---|
1.9.dev5
pre
| ||
1.9.dev4
pre
| ||
1.9.dev3
pre
| ||
1.9.dev2
pre
| ||
1.9.dev1
pre
| ||
1.8.dev30
pre
| ||
1.8.dev25
pre
| ||
1.8.dev24
pre
| ||
1.8.dev23
pre
| ||
1.8.dev22
pre
| ||
1.8.dev21
pre
| ||
1.8.dev20
pre
| ||
1.8.dev19
pre
| ||
1.8.dev18
pre
| ||
1.8.dev17
pre
| ||
1.8.dev16
pre
| ||
1.8.dev15
pre
| ||
1.8.dev14
pre
| ||
1.8.dev13
pre
| ||
1.8.dev12
pre
|
1–20 of 175