├── .gitignore ├── CHANGELOG.md ├── Cargo.lock ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── manual ├── .gitignore ├── book.toml └── src │ ├── README.md │ ├── SUMMARY.md │ ├── cli │ ├── README.md │ ├── basic.md │ └── proofs.md │ ├── examples │ ├── sgen1_sat_90_0.cnf │ └── sgen1_unsat_57_0.cnf │ ├── formats │ ├── README.md │ ├── dimacs.md │ ├── drat-proofs.md │ ├── lrat-proofs.md │ └── varisat-proofs.md │ └── lib │ ├── README.md │ ├── basic.md │ ├── formulas.md │ └── incremental.md ├── rustfmt.toml ├── varisat-checker ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md └── src │ ├── clauses.rs │ ├── context.rs │ ├── hash.rs │ ├── internal.rs │ ├── lib.rs │ ├── processing.rs │ ├── rup.rs │ ├── sorted_lits.rs │ ├── state.rs │ ├── tmp.rs │ ├── transcript.rs │ └── variables.rs ├── varisat-cli ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── build.rs └── src │ ├── check.rs │ ├── check │ └── transcript.rs │ └── main.rs ├── varisat-dimacs ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md └── src │ └── lib.rs ├── varisat-formula ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md └── src │ ├── cnf.rs │ ├── lib.rs │ ├── lit.rs │ └── test.rs ├── varisat-internal-macros ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md └── src │ └── lib.rs ├── varisat-internal-proof ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md └── src │ ├── binary_format.rs │ ├── lib.rs │ └── vli_enc.rs ├── varisat-lrat ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── build.rs └── src │ └── lib.rs └── varisat ├── .gitignore ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── build.rs ├── proptest-regressions └── solver.txt ├── src ├── analyze_conflict.rs ├── assumptions.rs ├── binary.rs ├── cdcl.rs ├── clause.rs ├── clause │ ├── activity.rs │ ├── alloc.rs │ ├── assess.rs │ ├── db.rs │ ├── gc.rs │ ├── header.rs │ └── reduce.rs ├── config.rs ├── context.rs ├── decision.rs ├── decision │ └── vsids.rs ├── glue.rs ├── lib.rs ├── load.rs ├── model.rs ├── proof.rs ├── proof │ ├── drat.rs │ └── map_step.rs ├── prop.rs ├── prop │ ├── assignment.rs │ ├── binary.rs │ ├── graph.rs │ ├── long.rs │ └── watch.rs ├── schedule.rs ├── schedule │ └── luby.rs ├── solver.rs ├── state.rs ├── tmp.rs ├── unit_simplify.rs ├── variables.rs └── variables │ ├── data.rs │ └── var_map.rs └── tests ├── checker.rs ├── cnfs.rs └── cnfs ├── sgen1_sat_90_0.cnf └── sgen1_unsat_57_0.cnf /.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | **/*.rs.bk 3 | Cargo.lock 4 | -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/README.md -------------------------------------------------------------------------------- /manual/.gitignore: -------------------------------------------------------------------------------- 1 | book 2 | -------------------------------------------------------------------------------- /manual/book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/manual/book.toml -------------------------------------------------------------------------------- /manual/src/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/manual/src/README.md -------------------------------------------------------------------------------- /manual/src/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/manual/src/SUMMARY.md -------------------------------------------------------------------------------- /manual/src/cli/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/manual/src/cli/README.md -------------------------------------------------------------------------------- /manual/src/cli/basic.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/manual/src/cli/basic.md -------------------------------------------------------------------------------- /manual/src/cli/proofs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/manual/src/cli/proofs.md -------------------------------------------------------------------------------- /manual/src/examples/sgen1_sat_90_0.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/manual/src/examples/sgen1_sat_90_0.cnf -------------------------------------------------------------------------------- /manual/src/examples/sgen1_unsat_57_0.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/manual/src/examples/sgen1_unsat_57_0.cnf -------------------------------------------------------------------------------- /manual/src/formats/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/manual/src/formats/README.md -------------------------------------------------------------------------------- /manual/src/formats/dimacs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/manual/src/formats/dimacs.md -------------------------------------------------------------------------------- /manual/src/formats/drat-proofs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/manual/src/formats/drat-proofs.md -------------------------------------------------------------------------------- /manual/src/formats/lrat-proofs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/manual/src/formats/lrat-proofs.md -------------------------------------------------------------------------------- /manual/src/formats/varisat-proofs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/manual/src/formats/varisat-proofs.md -------------------------------------------------------------------------------- /manual/src/lib/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/manual/src/lib/README.md -------------------------------------------------------------------------------- /manual/src/lib/basic.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/manual/src/lib/basic.md -------------------------------------------------------------------------------- /manual/src/lib/formulas.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/manual/src/lib/formulas.md -------------------------------------------------------------------------------- /manual/src/lib/incremental.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/manual/src/lib/incremental.md -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- 1 | merge_imports = true 2 | -------------------------------------------------------------------------------- /varisat-checker/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-checker/Cargo.toml -------------------------------------------------------------------------------- /varisat-checker/LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-checker/LICENSE-APACHE -------------------------------------------------------------------------------- /varisat-checker/LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-checker/LICENSE-MIT -------------------------------------------------------------------------------- /varisat-checker/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-checker/README.md -------------------------------------------------------------------------------- /varisat-checker/src/clauses.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-checker/src/clauses.rs -------------------------------------------------------------------------------- /varisat-checker/src/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-checker/src/context.rs -------------------------------------------------------------------------------- /varisat-checker/src/hash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-checker/src/hash.rs -------------------------------------------------------------------------------- /varisat-checker/src/internal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-checker/src/internal.rs -------------------------------------------------------------------------------- /varisat-checker/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-checker/src/lib.rs -------------------------------------------------------------------------------- /varisat-checker/src/processing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-checker/src/processing.rs -------------------------------------------------------------------------------- /varisat-checker/src/rup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-checker/src/rup.rs -------------------------------------------------------------------------------- /varisat-checker/src/sorted_lits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-checker/src/sorted_lits.rs -------------------------------------------------------------------------------- /varisat-checker/src/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-checker/src/state.rs -------------------------------------------------------------------------------- /varisat-checker/src/tmp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-checker/src/tmp.rs -------------------------------------------------------------------------------- /varisat-checker/src/transcript.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-checker/src/transcript.rs -------------------------------------------------------------------------------- /varisat-checker/src/variables.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-checker/src/variables.rs -------------------------------------------------------------------------------- /varisat-cli/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-cli/Cargo.toml -------------------------------------------------------------------------------- /varisat-cli/LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-cli/LICENSE-APACHE -------------------------------------------------------------------------------- /varisat-cli/LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-cli/LICENSE-MIT -------------------------------------------------------------------------------- /varisat-cli/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-cli/README.md -------------------------------------------------------------------------------- /varisat-cli/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-cli/build.rs -------------------------------------------------------------------------------- /varisat-cli/src/check.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-cli/src/check.rs -------------------------------------------------------------------------------- /varisat-cli/src/check/transcript.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-cli/src/check/transcript.rs -------------------------------------------------------------------------------- /varisat-cli/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-cli/src/main.rs -------------------------------------------------------------------------------- /varisat-dimacs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-dimacs/Cargo.toml -------------------------------------------------------------------------------- /varisat-dimacs/LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-dimacs/LICENSE-APACHE -------------------------------------------------------------------------------- /varisat-dimacs/LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-dimacs/LICENSE-MIT -------------------------------------------------------------------------------- /varisat-dimacs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-dimacs/README.md -------------------------------------------------------------------------------- /varisat-dimacs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-dimacs/src/lib.rs -------------------------------------------------------------------------------- /varisat-formula/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-formula/Cargo.toml -------------------------------------------------------------------------------- /varisat-formula/LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-formula/LICENSE-APACHE -------------------------------------------------------------------------------- /varisat-formula/LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-formula/LICENSE-MIT -------------------------------------------------------------------------------- /varisat-formula/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-formula/README.md -------------------------------------------------------------------------------- /varisat-formula/src/cnf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-formula/src/cnf.rs -------------------------------------------------------------------------------- /varisat-formula/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-formula/src/lib.rs -------------------------------------------------------------------------------- /varisat-formula/src/lit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-formula/src/lit.rs -------------------------------------------------------------------------------- /varisat-formula/src/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-formula/src/test.rs -------------------------------------------------------------------------------- /varisat-internal-macros/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-internal-macros/Cargo.toml -------------------------------------------------------------------------------- /varisat-internal-macros/LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-internal-macros/LICENSE-APACHE -------------------------------------------------------------------------------- /varisat-internal-macros/LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-internal-macros/LICENSE-MIT -------------------------------------------------------------------------------- /varisat-internal-macros/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-internal-macros/README.md -------------------------------------------------------------------------------- /varisat-internal-macros/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-internal-macros/src/lib.rs -------------------------------------------------------------------------------- /varisat-internal-proof/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-internal-proof/Cargo.toml -------------------------------------------------------------------------------- /varisat-internal-proof/LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-internal-proof/LICENSE-APACHE -------------------------------------------------------------------------------- /varisat-internal-proof/LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-internal-proof/LICENSE-MIT -------------------------------------------------------------------------------- /varisat-internal-proof/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-internal-proof/README.md -------------------------------------------------------------------------------- /varisat-internal-proof/src/binary_format.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-internal-proof/src/binary_format.rs -------------------------------------------------------------------------------- /varisat-internal-proof/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-internal-proof/src/lib.rs -------------------------------------------------------------------------------- /varisat-internal-proof/src/vli_enc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-internal-proof/src/vli_enc.rs -------------------------------------------------------------------------------- /varisat-lrat/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-lrat/Cargo.toml -------------------------------------------------------------------------------- /varisat-lrat/LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-lrat/LICENSE-APACHE -------------------------------------------------------------------------------- /varisat-lrat/LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-lrat/LICENSE-MIT -------------------------------------------------------------------------------- /varisat-lrat/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-lrat/README.md -------------------------------------------------------------------------------- /varisat-lrat/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-lrat/build.rs -------------------------------------------------------------------------------- /varisat-lrat/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat-lrat/src/lib.rs -------------------------------------------------------------------------------- /varisat/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | **/*.rs.bk 3 | Cargo.lock 4 | -------------------------------------------------------------------------------- /varisat/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/Cargo.toml -------------------------------------------------------------------------------- /varisat/LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/LICENSE-APACHE -------------------------------------------------------------------------------- /varisat/LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/LICENSE-MIT -------------------------------------------------------------------------------- /varisat/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/README.md -------------------------------------------------------------------------------- /varisat/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/build.rs -------------------------------------------------------------------------------- /varisat/proptest-regressions/solver.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/proptest-regressions/solver.txt -------------------------------------------------------------------------------- /varisat/src/analyze_conflict.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/analyze_conflict.rs -------------------------------------------------------------------------------- /varisat/src/assumptions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/assumptions.rs -------------------------------------------------------------------------------- /varisat/src/binary.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/binary.rs -------------------------------------------------------------------------------- /varisat/src/cdcl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/cdcl.rs -------------------------------------------------------------------------------- /varisat/src/clause.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/clause.rs -------------------------------------------------------------------------------- /varisat/src/clause/activity.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/clause/activity.rs -------------------------------------------------------------------------------- /varisat/src/clause/alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/clause/alloc.rs -------------------------------------------------------------------------------- /varisat/src/clause/assess.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/clause/assess.rs -------------------------------------------------------------------------------- /varisat/src/clause/db.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/clause/db.rs -------------------------------------------------------------------------------- /varisat/src/clause/gc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/clause/gc.rs -------------------------------------------------------------------------------- /varisat/src/clause/header.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/clause/header.rs -------------------------------------------------------------------------------- /varisat/src/clause/reduce.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/clause/reduce.rs -------------------------------------------------------------------------------- /varisat/src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/config.rs -------------------------------------------------------------------------------- /varisat/src/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/context.rs -------------------------------------------------------------------------------- /varisat/src/decision.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/decision.rs -------------------------------------------------------------------------------- /varisat/src/decision/vsids.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/decision/vsids.rs -------------------------------------------------------------------------------- /varisat/src/glue.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/glue.rs -------------------------------------------------------------------------------- /varisat/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/lib.rs -------------------------------------------------------------------------------- /varisat/src/load.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/load.rs -------------------------------------------------------------------------------- /varisat/src/model.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/model.rs -------------------------------------------------------------------------------- /varisat/src/proof.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/proof.rs -------------------------------------------------------------------------------- /varisat/src/proof/drat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/proof/drat.rs -------------------------------------------------------------------------------- /varisat/src/proof/map_step.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/proof/map_step.rs -------------------------------------------------------------------------------- /varisat/src/prop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/prop.rs -------------------------------------------------------------------------------- /varisat/src/prop/assignment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/prop/assignment.rs -------------------------------------------------------------------------------- /varisat/src/prop/binary.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/prop/binary.rs -------------------------------------------------------------------------------- /varisat/src/prop/graph.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/prop/graph.rs -------------------------------------------------------------------------------- /varisat/src/prop/long.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/prop/long.rs -------------------------------------------------------------------------------- /varisat/src/prop/watch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/prop/watch.rs -------------------------------------------------------------------------------- /varisat/src/schedule.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/schedule.rs -------------------------------------------------------------------------------- /varisat/src/schedule/luby.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/schedule/luby.rs -------------------------------------------------------------------------------- /varisat/src/solver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/solver.rs -------------------------------------------------------------------------------- /varisat/src/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/state.rs -------------------------------------------------------------------------------- /varisat/src/tmp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/tmp.rs -------------------------------------------------------------------------------- /varisat/src/unit_simplify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/unit_simplify.rs -------------------------------------------------------------------------------- /varisat/src/variables.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/variables.rs -------------------------------------------------------------------------------- /varisat/src/variables/data.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/variables/data.rs -------------------------------------------------------------------------------- /varisat/src/variables/var_map.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/src/variables/var_map.rs -------------------------------------------------------------------------------- /varisat/tests/checker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/tests/checker.rs -------------------------------------------------------------------------------- /varisat/tests/cnfs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/tests/cnfs.rs -------------------------------------------------------------------------------- /varisat/tests/cnfs/sgen1_sat_90_0.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/tests/cnfs/sgen1_sat_90_0.cnf -------------------------------------------------------------------------------- /varisat/tests/cnfs/sgen1_unsat_57_0.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/varisat/HEAD/varisat/tests/cnfs/sgen1_unsat_57_0.cnf --------------------------------------------------------------------------------