@hackage satchmo-minisat1.3

minisat driver as backend for satchmo

  • Categories

    • License

      LicenseRef-GPL

    • Maintainer

      Johannes Waldmann

    • Links

    • Versions

      • 1.3 Wed, 1 Apr 2009

    this driver calls minisat (download from http://minisat.se/) to solve CNF-SAT constraints produced by satchmo