Crates.io | exec-sat |
lib.rs | exec-sat |
version | 0.1.1 |
source | src |
created_at | 2022-10-15 09:32:06.150854 |
updated_at | 2022-10-16 10:13:38.247994 |
description | Executes SAT solver and parses SAT solver output |
homepage | |
repository | https://github.com/matszpk/exec-sat |
max_upload_size | |
id | 688874 |
size | 39,265 |
This library provides routines to parse SAT solver output and to execute SAT solver. It three contains 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.