PyPI page
Author:
Mate Soos
License:
Copyright (C) 2009-2020 Authors of CryptoMiniSat, see AUTHORS file
All rights reserved.
The general priciple of the licensing is as follows. Everything that's
need...
Summary:
Bindings to CryptoMiniSat, an advanced SAT solver
Latest version:
5.17.0
Downloads last day:
1,819
Downloads last week:
10,922
Downloads last month:
34,507
7-day smoothing