About

Metadata

  • Last updated , by AndriiZvorygin
  • License LicenseRef-GPL
  • Maintained by: andrii.z@gmail.com

  • Lottery factor: 0

Links

Installation

This package uses the Custom cabal build type

Readme

CNF(Clausal Normal Form) SATisfiability Solver and Generator