Alexander Mishunin

[email protected]

St. Petersburg

Results 1 repositories owned by


Alexander Mishunin

minisat-rust

71

Stars

6

Forks

Watchers

Experimental minisat SAT solver reimplementation in Rust