recentpopularlog in

gohai : solver   2

SAT/SMT by example
This collection is a non-academic reading for “end-users”, i.e., programmers, etc.
sat  smt  solver  book  math  proof 
august 2018 by gohai
MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT.
math  software  solver 
december 2008 by gohai

Copy this bookmark:

to read