https://github.com/salmans/rust-z3-practice

solving a number of SAT problems using Z3
https://github.com/salmans/rust-z3-practice

Last synced: about 1 month ago
JSON representation

solving a number of SAT problems using Z3

• Host: GitHub
• URL: https://github.com/salmans/rust-z3-practice
• Owner: salmans
• License: mit
• Created: 2019-05-19T01:06:39.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2024-04-16T23:04:09.000Z (2 months ago)
• Last Synced: 2024-04-16T23:10:06.197Z (2 months ago)
• Language: Rust
• Size: 13.7 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• awesome-rust-formalized-reasoning - rust-z3-practice - solving a number of SAT problems using Z3. (Unclassified / Libraries)

README

        
# rust-z3-practice

Sample SAT problems solved using Z3:

- simple_sat.rs: a simple satisfiable problem

- simple_unsat.rs: a simple unsatisfiable problem

- hamiltonian_cycle.rs: finds a Hamiltonian cycle for a given graph.

- n_queens.rs: solves the n-queen problem for a given number of queens.