search

mishun / minisat-rust

Experimental minisat SAT solver reimplementation in Rust
Other
71 stars 6 forks source link

Fix unintentional integer rounding, clean up /proc parsing #11

Closed dralley closed 5 years ago

mishun commented 5 years ago

Hmm, maybe I'll modify it to return io::Result<Option> later (panicking with IO error before writting result may be frustrating, although normally that shouldn't happen)