GitHub / limo1996 / ProgramVerification1
Boolean formula to CNF conversion, DPLL and CDCL SAT solving algorithms
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/limo1996%2FProgramVerification1
Stars: 0
Forks: 0
Open issues: 0
License: None
Language: SMT
Size: 4.78 MB
Dependencies parsed at: Pending
Created at: about 7 years ago
Updated at: about 7 years ago
Pushed at: about 7 years ago
Last synced at: 18 days ago
Topics: cdcl-algorithm, cnf, cnf-clauses, dpll-algorithm, ethz, sat-solver
Loading...