exec-sat
| Crates.io | exec-sat |
| lib.rs | exec-sat |
| version | 0.1.2 |
| created_at | 2022-10-15 09:32:06.150854+00 |
| updated_at | 2025-02-16 07:44:56.144731+00 |
| description | Executes SAT solver and parses SAT solver output |
| homepage | |
| repository | https://github.com/matszpk/exec-sat |
| max_upload_size | |
| id | 688874 |
| size | 39,400 |
Mateusz Szpakowski (matszpk)
documentation
https://docs.rs/exec-sat
README
Exec-SAT
This library provides routines to parse SAT solver output and to execute SAT solver. It contains three functions:
parse_sat_output- to parse output from SAT solver after solving instance,exec_sat_simple- to execute SAT solver program without arguments.exec_sat- to execute SAT solver program with arguments.