Grading container with PySAT
3.1K
Grading container with PySAT
PySAT is a Python (2.7, 3.4+) toolkit, which aims at providing a simple and unified interface to a number of state-of-art Boolean satisfiability (SAT) solvers as well as to a variety of cardinality and pseudo-Boolean encodings.
https://github.com/pysathq/pysat https://pysathq.github.io/
Content type
Image
Digest
sha256:676ec7c2f…
Size
101.5 MB
Last updated
11 months ago
docker pull apluslms/grade-pysat:3.11-1.8.dev19-4.10Pulls:
275
Last week