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.