Thanks to visit codestin.com Credit goes to lib.rs
SAT and MaxSAT Solver
by Prateek (प्रतीक)
#8 in #boolean-sat
10KB 162 lines
TODO
MIT
~9.5MB ~169K SLoC