python3-cryptominisat - Python 3 interface to cryptominisat
| Website: | http://www.msoos.org/ |
|---|---|
| License: | MIT |
| Vendor: | Alcance Libre, Inc. |
- Description:
Python 3 interface to cryptominisat.
Packages
| python3-cryptominisat-5.7.1-4.fc14.al.i686 [24 KiB] |
Changelog
by Joel Barrios (2020-06-13):
- Rebuild with Boost 1.73.0. |