├── .github └── workflows │ └── ci.yml ├── .gitignore ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── examples ├── quantifiers.rs └── sudoku.rs ├── src ├── context.rs ├── known_atoms.rs ├── lib.rs ├── sexpr.rs └── solver.rs └── tests ├── error.rs ├── real_numbers.rs └── solvers.rs /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elliottt/easy-smt/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | /Cargo.lock 3 | replay.smt2 4 | -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elliottt/easy-smt/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elliottt/easy-smt/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elliottt/easy-smt/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elliottt/easy-smt/HEAD/README.md -------------------------------------------------------------------------------- /examples/quantifiers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elliottt/easy-smt/HEAD/examples/quantifiers.rs -------------------------------------------------------------------------------- /examples/sudoku.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elliottt/easy-smt/HEAD/examples/sudoku.rs -------------------------------------------------------------------------------- /src/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elliottt/easy-smt/HEAD/src/context.rs -------------------------------------------------------------------------------- /src/known_atoms.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elliottt/easy-smt/HEAD/src/known_atoms.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elliottt/easy-smt/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/sexpr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elliottt/easy-smt/HEAD/src/sexpr.rs -------------------------------------------------------------------------------- /src/solver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elliottt/easy-smt/HEAD/src/solver.rs -------------------------------------------------------------------------------- /tests/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elliottt/easy-smt/HEAD/tests/error.rs -------------------------------------------------------------------------------- /tests/real_numbers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elliottt/easy-smt/HEAD/tests/real_numbers.rs -------------------------------------------------------------------------------- /tests/solvers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elliottt/easy-smt/HEAD/tests/solvers.rs --------------------------------------------------------------------------------