circuit_sat_check
| Crates.io | circuit_sat_check |
| lib.rs | circuit_sat_check |
| version | 0.1.0 |
| created_at | 2025-02-21 17:25:20.794538+00 |
| updated_at | 2025-02-21 17:25:20.794538+00 |
| description | Simple utility to generate circuit checking to CNF formula. |
| homepage | |
| repository | https://github.com/matszpk/circuit_sat_check |
| max_upload_size | |
| id | 1564498 |
| size | 19,222 |
Mateusz Szpakowski (matszpk)
documentation
README
Circuit_SAT_Check
Simple utility to generate circuit checking to CNF formula.
Usage is simple:
./circuit_sat_check circuit1.circuit circuit2.circuit formula.cnf
The first argument is path to first circuit to compare. The second argument is path to second circuit to compare. The third argument is path to output CNF file.
Utility generates formula that unsatisfiable if circuits generates same results for all combinations of input. Otherwise formula is satisfiable.