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 1 year ago)
• Default Branch: master
• Last Pushed: 2022-10-16T10:12:28.000Z (over 1 year ago)
• Last Synced: 2024-05-10T23:20:45.691Z (about 2 months ago)
• Language: Rust
• Size: 19.5 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: COPYING

Lists

• 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 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.