GitHub - matszpk/exec-sat: Executes SAT solver and parses SAT solver output

8000 GitHub - matszpk/exec-sat: Executes SAT solver and parses SAT solver output

More Web Proxy on the site http://driver.im/

matszpk / exec-sat Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Executes SAT solver and parses SAT solver output

LGPL-2.1 license

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 25 Commits
src		src
.gitignore		.gitignore
COPYING		COPYING
Cargo.toml		Cargo.toml
README.md		README.md

Repository files navigation

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.

0