Name		Name	Last commit message	Last commit date
Latest commit History 34 Commits
src		src
test		test
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
LICENSE		LICENSE
README.md		README.md

Repository files navigation

SAT solver

This is a SAT solver written in Rust.

usage

see help cargo run

$ cargo run <FILE>

About

SAT solver written in Rust.

rust sat-solver

Report repository

Releases

Packages

No packages published

Languages

Rust 100.0%