• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for ersatz-0.4.12 source tarball

ersatz-0.4.12/

• .gitignore
• .hlint.yaml
• AUTHORS.md
• CHANGELOG.md
• LICENSE
• README.md
• Setup.lhs
• ersatz.cabal
• data/
  • dimacs/
    • bf/
      • bf0432-007.cnf
      • bf1355-075.cnf
      • bf1355-638.cnf
      • bf2670-001.cnf
      • descr.html
      • ssa0432-003.cnf
      • ssa2670-130.cnf
      • ssa2670-141.cnf
      • ssa6288-047.cnf
      • ssa7552-038.cnf
      • ssa7552-158.cnf
      • ssa7552-159.cnf
      • ssa7552-160.cnf
    • blocksworld/
      • anomaly.cnf
      • bw_large.a.cnf
      • bw_large.b.cnf
      • bw_large.c.cnf
      • descr.html
      • huge.cnf
      • medium.cnf
    • bmc/
      • bmc-ibm-1.cnf
      • bmc-ibm-2.cnf
      • bmc-ibm-3.cnf
      • bmc-ibm-4.cnf
      • bmc-ibm-5.cnf
      • bmc-ibm-7.cnf
    • logistics/
      • descr.html
      • logistics.a.cnf
      • logistics.b.cnf
      • logistics.c.cnf
      • logistics.d.cnf
    • parity/
      • descr
      • par16-1-c.cnf
      • par16-1.cnf
      • par16-2-c.cnf
      • par16-2.cnf
      • par16-3-c.cnf
      • par16-3.cnf
      • par16-4-c.cnf
      • par16-4.cnf
      • par16-5-c.cnf
      • par16-5.cnf
      • par8-1-c.cnf
      • par8-1.cnf
      • par8-2-c.cnf
      • par8-2.cnf
      • par8-3-c.cnf
      • par8-3.cnf
      • par8-4-c.cnf
      • par8-4.cnf
      • par8-5-c.cnf
      • par8-5.cnf
    • phole/
      • descr.html
      • hole6.cnf
      • hole7.cnf
      • hole8.cnf
• examples/
  • regexp-grid/
    • Main.hs
    • RegexpGrid/
      • Problem.hs
      • Regexp.hs
      • Types.hs
  • sudoku/
    • Main.hs
    • Sudoku/
      • Cell.hs
      • Problem.hs
• notes/
  • SPOILER.html
  • grid.pdf
  • papers.md
• src/
  • Ersatz.hs
  • Ersatz/
    • Bit.hs
    • BitChar.hs
    • Bits.hs
    • Codec.hs
    • Counting.hs
    • Equatable.hs
    • Orderable.hs
    • Problem.hs
    • Relation.hs
    • Solution.hs
    • Solver.hs
    • Variable.hs
    • Internal/
      • Formula.hs
      • Literal.hs
      • Parser.hs
      • StableName.hs
    • Relation/
      • Data.hs
      • Op.hs
      • Prop.hs
    • Solver/
      • Common.hs
      • DepQBF.hs
      • Minisat.hs
      • Z3.hs
• tests/
  • Moore.hs
  • Speed.hs
  • Z001.hs