maya.zenmaya.xyz / solver
a mildly optimized sat solver
sat-solver
Star
Fork 0
Watch

Commits on main

Updated results main
zenmaya committed
Move learning clauses before restarts
zenmaya committed
Remove unescessary copy in unit propagation
zenmaya committed
Set assigments len in progress properly
zenmaya committed
Scale luby by factor
zenmaya committed
Fix satisfiability with tasks with empty formulas
zenmaya committed
Initialize activity increment at 1.0
zenmaya committed
Remove cloning of clauses
zenmaya committed
Fix generation of CNF for leaf nodes
zenmaya committed
Add report
zenmaya committed
Grep for SAT/UNSAT as well
zenmaya committed
Add nqueens bench
zenmaya committed
Move to report
zenmaya committed
Add graphs
zenmaya committed
Use incremental results file
zenmaya committed
Save intermediate benchmarks and shorten timeout
zenmaya committed
Add errors when trying to cancel non-cancellable solvers
zenmaya committed
Refactor cancellation
zenmaya committed
Uncancell after finishing task
zenmaya committed
Update benching
zenmaya committed
Cleanup
zenmaya committed
Add bench limit
zenmaya committed
Fix trailing commas
zenmaya committed
Rework to workspace and add benchmarking
zenmaya committed
Add nqueens cnf generator
zenmaya committed
Add glucose restarts
zenmaya committed
Fix activity and lbd not updating
zenmaya committed
Fix spaces in elapsed time
zenmaya committed
Add human formatting
zenmaya committed
Add progress reporting
zenmaya committed
Fix regressions
zenmaya committed
Add clause deletion and small opts
zenmaya committed
Add formatting
zenmaya committed
Add benches
zenmaya committed
More options, clause deletion and restarts
zenmaya committed
Fix tests and others
zenmaya committed
Add benchmarks
zenmaya committed
Add integration test results
zenmaya committed
Remove tracing
zenmaya committed
Add other heuristics
zenmaya committed
Add JeroslowWang heuristic
zenmaya committed
Add DLIS variable heuristic
zenmaya committed
Fix tests
zenmaya committed
Add new unit tests
zenmaya committed
Add test timeout and add test matrix
zenmaya committed
Delete old integration tests
zenmaya committed
Infer option name from argument name
zenmaya committed
More formatting fixes
zenmaya committed
Format solver
zenmaya committed
Fix formatting
zenmaya committed
Semi-working abstractions
zenmaya committed
Add CDCL
zenmaya committed
Fix clippy lints
zenmaya committed
Update sources
zenmaya committed
Fix typo
zenmaya committed
Fix smtlib parser to have same api as dimacs
zenmaya committed
Replace dimacs parser with pest
zenmaya committed
Update snapshots
zenmaya committed
Fix tests
zenmaya committed
Add nextest and mold
zenmaya committed