maya.zenmaya.xyz / solver
a mildly optimized sat solver
sat-solver
Star
Fork 0
Watch
solver report
18 files
bench.json
cactus_cdcl_by_time.svg
cactus_cdcl_by_time.txt
cactus_cdcl_by_timeouts.svg
cactus_cdcl_by_timeouts.txt
cactus_dpll_by_time.svg
cactus_dpll_by_time.txt
cactus_dpll_by_timeouts.svg
cactus_dpll_by_timeouts.txt
cdcl_clause_deletion.svg
cdcl_clause_propagation.svg
cdcl_decision_heuristic.svg
cdcl_restarts.svg
dpll_clause_propagation.svg
dpll_decision_heuristic.svg
report.pdf
report.typ
total_time.svg