Public
- Public
- Network
- Groups
- Popular
- People

Conversation

Notices

Masaki Hara (qnighy@qnmd.info)'s status on Saturday, 15-Sep-2018 18:50:52 JST Masaki Hara

https://users.rust-lang.org/t/varisat-0-1-3-lrat-generation-and-proof-trimming-sat-solver-written-in-rust-now-usable-as-library/20422
Rustで書かれたSATソルバVerisatがライブラリとして使えるようになったらしい。
In conversation Saturday, 15-Sep-2018 18:50:52 JST from qnmd.info permalink
Attachments
1. Domain not in remote thumbnail source whitelist: www.rust-lang.org
  
  Varisat 0.1.3: LRAT Generation and Proof Trimming (SAT solver written in Rust, now usable as library)
  
  from The Rust Programming Language Forum
  
  I’ve released an update to Varisat, my SAT solver written in Rust. It is now split into a library varisat and a command line solver varisat-cli. It also offers some interesting new features for unsatisfiability proofs.

Feeds