@hackage sat1.0

CNF SATisfier

  • Categories

    • License

      LicenseRef-GPL

    • Maintainer

      andrii.z@gmail.com

    • Links

    • Versions

      • 1.1.1 Thu, 22 Nov 2007
      • 1.1 Thu, 22 Nov 2007
      • 1.0 Sun, 28 Oct 2007

    CNF(Clausal Normal Form) SATisfiability Solver and Generator