This repository was archived by the owner on May 18, 2020. It is now read-only.

soedirgo / sat-solver Public archive

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

CDCL SAT solver for instances in DIMACS CNF format

Unlicense license

2 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
ci		ci
src		src
.gitignore		.gitignore
.travis.yml		.travis.yml
Cargo.toml		Cargo.toml
README.md		README.md
UNLICENSE		UNLICENSE
appveyor.yml		appveyor.yml

Repository files navigation

Installation

Go to releases
Download the appropriate binary
Unpack the archive to get main
Run ./main -o <output file> <cnf file>