Giters

kazuk / pico-sat

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

pico-sat

Minimal implementation of DPLL SAT Solver.

written in pure-Rust

About

Languages

Language:Rust 99.2%Language:Shell 0.8%