ryan.freumh.org / package-calculus
The Package Calculus
Star
Fork 0
Watch
package-calculus PackageCalculus Complexity
3 files
NPHardness.lean
SATEncoding.lean
ThreeSAT.lean