Giters

shinkwhek / SATsolver

SAT solver written in Rust.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

sat-solverrust

SAT solver

This is a SAT solver written in Rust.

usage

see help cargo run

$ cargo run <FILE>

About

SAT solver written in Rust.

sat-solverrust

License:MIT License

Languages

Language:Rust 100.0%