├── .gitignore ├── .gitlab-ci-stack.yaml ├── .gitlab-ci.yml ├── ChangeLog.md ├── LICENSE ├── MultiConflict ├── README.md ├── SAT │ ├── Mios.hs │ └── Mios │ │ ├── Clause.hs │ │ ├── ClauseManager.hs │ │ ├── Main.hs │ │ ├── OptionParser.hs │ │ ├── Solver.hs │ │ ├── Types.hs │ │ ├── Util │ │ ├── BoolExp.hs │ │ ├── DIMACS.hs │ │ ├── DIMACS │ │ │ ├── MinisatReader.hs │ │ │ ├── Reader.hs │ │ │ └── Writer.hs │ │ └── Stat.hs │ │ ├── Validator.hs │ │ └── Vec.hs ├── package.yaml └── utils │ ├── averagecsv.hs │ ├── compare.hs │ ├── dump2csv.hs │ ├── kde.R │ ├── mkcactus.R │ ├── mkcactusSU.R │ ├── numbers.hs │ ├── pickup.hs │ ├── stat2csv.hs │ ├── summary.hs │ └── verbose2csv.hs ├── README.md ├── Setup.hs ├── app ├── mios-bot.hs ├── mios.hs └── sample.hs ├── package.yaml ├── src └── SAT │ ├── Mios.hs │ └── Mios │ ├── Clause.hs │ ├── ClauseManager.hs │ ├── ClausePool.hs │ ├── Criteria.hs │ ├── Main.hs │ ├── OptionParser.hs │ ├── Solver.hs │ ├── Types.hs │ ├── Util │ ├── BoolExp.hs │ ├── DIMACS.hs │ └── DIMACS │ │ ├── MinisatReader.hs │ │ ├── Reader.hs │ │ └── Writer.hs │ ├── Validator.hs │ └── Vec.hs ├── test ├── MiosSpec.hs ├── SAT-Competion2017-main-track_to_SC17m54.ods ├── Spec.hs ├── data │ ├── 38bits_10.dimacs.cnf │ ├── 44bits_11.dimacs.cnf │ ├── itox_vc1130.cnf │ ├── manthey_DimacsSorter_28_3.cnf │ ├── uf200-012.cnf │ ├── uf200-020.cnf │ ├── uf225-025.cnf │ └── uf250-050.cnf └── mios-criterion.hs └── utils ├── cnf-stat.hs ├── count-SU.R ├── memo.md ├── mios-1.6.0.cabal ├── mkCactus.R ├── mkEvo.R ├── mkScatter.R └── sat-benchmark.hs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitlab-ci-stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/.gitlab-ci-stack.yaml -------------------------------------------------------------------------------- /.gitlab-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/.gitlab-ci.yml -------------------------------------------------------------------------------- /ChangeLog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/ChangeLog.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/LICENSE -------------------------------------------------------------------------------- /MultiConflict/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/README.md -------------------------------------------------------------------------------- /MultiConflict/SAT/Mios.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/SAT/Mios.hs -------------------------------------------------------------------------------- /MultiConflict/SAT/Mios/Clause.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/SAT/Mios/Clause.hs -------------------------------------------------------------------------------- /MultiConflict/SAT/Mios/ClauseManager.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/SAT/Mios/ClauseManager.hs -------------------------------------------------------------------------------- /MultiConflict/SAT/Mios/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/SAT/Mios/Main.hs -------------------------------------------------------------------------------- /MultiConflict/SAT/Mios/OptionParser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/SAT/Mios/OptionParser.hs -------------------------------------------------------------------------------- /MultiConflict/SAT/Mios/Solver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/SAT/Mios/Solver.hs -------------------------------------------------------------------------------- /MultiConflict/SAT/Mios/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/SAT/Mios/Types.hs -------------------------------------------------------------------------------- /MultiConflict/SAT/Mios/Util/BoolExp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/SAT/Mios/Util/BoolExp.hs -------------------------------------------------------------------------------- /MultiConflict/SAT/Mios/Util/DIMACS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/SAT/Mios/Util/DIMACS.hs -------------------------------------------------------------------------------- /MultiConflict/SAT/Mios/Util/DIMACS/MinisatReader.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/SAT/Mios/Util/DIMACS/MinisatReader.hs -------------------------------------------------------------------------------- /MultiConflict/SAT/Mios/Util/DIMACS/Reader.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/SAT/Mios/Util/DIMACS/Reader.hs -------------------------------------------------------------------------------- /MultiConflict/SAT/Mios/Util/DIMACS/Writer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/SAT/Mios/Util/DIMACS/Writer.hs -------------------------------------------------------------------------------- /MultiConflict/SAT/Mios/Util/Stat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/SAT/Mios/Util/Stat.hs -------------------------------------------------------------------------------- /MultiConflict/SAT/Mios/Validator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/SAT/Mios/Validator.hs -------------------------------------------------------------------------------- /MultiConflict/SAT/Mios/Vec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/SAT/Mios/Vec.hs -------------------------------------------------------------------------------- /MultiConflict/package.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/package.yaml -------------------------------------------------------------------------------- /MultiConflict/utils/averagecsv.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/utils/averagecsv.hs -------------------------------------------------------------------------------- /MultiConflict/utils/compare.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/utils/compare.hs -------------------------------------------------------------------------------- /MultiConflict/utils/dump2csv.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/utils/dump2csv.hs -------------------------------------------------------------------------------- /MultiConflict/utils/kde.R: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/utils/kde.R -------------------------------------------------------------------------------- /MultiConflict/utils/mkcactus.R: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/utils/mkcactus.R -------------------------------------------------------------------------------- /MultiConflict/utils/mkcactusSU.R: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/utils/mkcactusSU.R -------------------------------------------------------------------------------- /MultiConflict/utils/numbers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/utils/numbers.hs -------------------------------------------------------------------------------- /MultiConflict/utils/pickup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/utils/pickup.hs -------------------------------------------------------------------------------- /MultiConflict/utils/stat2csv.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/utils/stat2csv.hs -------------------------------------------------------------------------------- /MultiConflict/utils/summary.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/utils/summary.hs -------------------------------------------------------------------------------- /MultiConflict/utils/verbose2csv.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/MultiConflict/utils/verbose2csv.hs -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /app/mios-bot.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/app/mios-bot.hs -------------------------------------------------------------------------------- /app/mios.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/app/mios.hs -------------------------------------------------------------------------------- /app/sample.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/app/sample.hs -------------------------------------------------------------------------------- /package.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/package.yaml -------------------------------------------------------------------------------- /src/SAT/Mios.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/src/SAT/Mios.hs -------------------------------------------------------------------------------- /src/SAT/Mios/Clause.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/src/SAT/Mios/Clause.hs -------------------------------------------------------------------------------- /src/SAT/Mios/ClauseManager.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/src/SAT/Mios/ClauseManager.hs -------------------------------------------------------------------------------- /src/SAT/Mios/ClausePool.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/src/SAT/Mios/ClausePool.hs -------------------------------------------------------------------------------- /src/SAT/Mios/Criteria.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/src/SAT/Mios/Criteria.hs -------------------------------------------------------------------------------- /src/SAT/Mios/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/src/SAT/Mios/Main.hs -------------------------------------------------------------------------------- /src/SAT/Mios/OptionParser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/src/SAT/Mios/OptionParser.hs -------------------------------------------------------------------------------- /src/SAT/Mios/Solver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/src/SAT/Mios/Solver.hs -------------------------------------------------------------------------------- /src/SAT/Mios/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/src/SAT/Mios/Types.hs -------------------------------------------------------------------------------- /src/SAT/Mios/Util/BoolExp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/src/SAT/Mios/Util/BoolExp.hs -------------------------------------------------------------------------------- /src/SAT/Mios/Util/DIMACS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/src/SAT/Mios/Util/DIMACS.hs -------------------------------------------------------------------------------- /src/SAT/Mios/Util/DIMACS/MinisatReader.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/src/SAT/Mios/Util/DIMACS/MinisatReader.hs -------------------------------------------------------------------------------- /src/SAT/Mios/Util/DIMACS/Reader.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/src/SAT/Mios/Util/DIMACS/Reader.hs -------------------------------------------------------------------------------- /src/SAT/Mios/Util/DIMACS/Writer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/src/SAT/Mios/Util/DIMACS/Writer.hs -------------------------------------------------------------------------------- /src/SAT/Mios/Validator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/src/SAT/Mios/Validator.hs -------------------------------------------------------------------------------- /src/SAT/Mios/Vec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/src/SAT/Mios/Vec.hs -------------------------------------------------------------------------------- /test/MiosSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/test/MiosSpec.hs -------------------------------------------------------------------------------- /test/SAT-Competion2017-main-track_to_SC17m54.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/test/SAT-Competion2017-main-track_to_SC17m54.ods -------------------------------------------------------------------------------- /test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/test/Spec.hs -------------------------------------------------------------------------------- /test/data/38bits_10.dimacs.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/test/data/38bits_10.dimacs.cnf -------------------------------------------------------------------------------- /test/data/44bits_11.dimacs.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/test/data/44bits_11.dimacs.cnf -------------------------------------------------------------------------------- /test/data/itox_vc1130.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/test/data/itox_vc1130.cnf -------------------------------------------------------------------------------- /test/data/manthey_DimacsSorter_28_3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/test/data/manthey_DimacsSorter_28_3.cnf -------------------------------------------------------------------------------- /test/data/uf200-012.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/test/data/uf200-012.cnf -------------------------------------------------------------------------------- /test/data/uf200-020.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/test/data/uf200-020.cnf -------------------------------------------------------------------------------- /test/data/uf225-025.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/test/data/uf225-025.cnf -------------------------------------------------------------------------------- /test/data/uf250-050.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/test/data/uf250-050.cnf -------------------------------------------------------------------------------- /test/mios-criterion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/test/mios-criterion.hs -------------------------------------------------------------------------------- /utils/cnf-stat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/utils/cnf-stat.hs -------------------------------------------------------------------------------- /utils/count-SU.R: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/utils/count-SU.R -------------------------------------------------------------------------------- /utils/memo.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/utils/memo.md -------------------------------------------------------------------------------- /utils/mios-1.6.0.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/utils/mios-1.6.0.cabal -------------------------------------------------------------------------------- /utils/mkCactus.R: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/utils/mkCactus.R -------------------------------------------------------------------------------- /utils/mkEvo.R: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/utils/mkEvo.R -------------------------------------------------------------------------------- /utils/mkScatter.R: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/utils/mkScatter.R -------------------------------------------------------------------------------- /utils/sat-benchmark.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shnarazk/mios/HEAD/utils/sat-benchmark.hs --------------------------------------------------------------------------------