https://github.com/matszpk/exec-sat

Executes SAT solver and parses SAT solver output
https://github.com/matszpk/exec-sat

Last synced: about 1 month ago
JSON representation

Executes SAT solver and parses SAT solver output

• Host: GitHub
• URL: https://github.com/matszpk/exec-sat
• Owner: matszpk
• License: lgpl-2.1
• Created: 2022-10-15T09:26:48.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2025-02-16T07:43:53.000Z (4 months ago)
• Last Synced: 2025-05-03T15:02:42.007Z (about 1 month ago)
• Language: Rust
• Size: 20.5 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: COPYING

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - Exec-SAT - sat):baby_chick: - provides routines to parse SAT solver output and to execute SAT solver. (Projects / Libraries)

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.