exec-sat

Crates.ioexec-sat
lib.rsexec-sat
version0.1.1
sourcesrc
created_at2022-10-15 09:32:06.150854
updated_at2022-10-16 10:13:38.247994
descriptionExecutes SAT solver and parses SAT solver output
homepage
repositoryhttps://github.com/matszpk/exec-sat
max_upload_size
id688874
size39,265
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 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.
Commit count: 24

cargo fmt