alpha
Login
or
Join now
maya.zenmaya.xyz
/
solver
Star
0
Fork
0
Atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
a mildly optimized sat solver
sat-solver
Star
0
Fork
0
Atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
Overview
Issues
Pulls
Pipelines
Commits
Author
Commit
Message
Date
zenmaya
e20386a7
Use incremental results file
main
2w ago
zenmaya
624b3376
Save intermediate benchmarks and shorten timeout
3w ago
zenmaya
68adc160
Add errors when trying to cancel non-cancellable solvers
5w ago
zenmaya
748ee7b3
Refactor cancellation
5w ago
zenmaya
8f773aae
Uncancell after finishing task
5w ago
zenmaya
39e041ac
Update benching
5w ago
zenmaya
48839c88
Cleanup
5w ago
zenmaya
31298923
Add bench limit
7w ago
zenmaya
bb8a3e8b
Fix trailing commas
2mo ago
zenmaya
3f818b60
Rework to workspace and add benchmarking
2mo ago
zenmaya
76b24d6b
Add nqueens cnf generator
2mo ago
zenmaya
6990623b
Add glucose restarts
4mo ago
zenmaya
833074e3
Fix activity and lbd not updating
4mo ago
zenmaya
7bcd4e6e
Fix spaces in elapsed time
4mo ago
zenmaya
88e4db12
Add human formatting
4mo ago
zenmaya
62e37e4a
Add progress reporting
4mo ago
zenmaya
f39b16bb
Fix regressions
4mo ago
zenmaya
e8b8e3e3
Add clause deletion and small opts
4mo ago
zenmaya
ca377483
Add formatting
4mo ago
zenmaya
be020e2c
Add benches
4mo ago
zenmaya
31c9a102
More options, clause deletion and restarts
4mo ago
zenmaya
0fcff7c4
Fix tests and others
4mo ago
zenmaya
dca78883
Add benchmarks
4mo ago
zenmaya
0873bb48
Add integration test results
4mo ago
zenmaya
aad0d3c4
Remove tracing
4mo ago
zenmaya
bf6e081d
Add other heuristics
4mo ago
zenmaya
348cc2fe
Add JeroslowWang heuristic
5mo ago
zenmaya
9bec3e61
Add DLIS variable heuristic
5mo ago
zenmaya
48061b05
Fix tests
5mo ago
zenmaya
a5e1fac0
Add new unit tests
5mo ago
zenmaya
86e88a9e
Add test timeout and add test matrix
5mo ago
zenmaya
215cfdb4
Delete old integration tests
5mo ago
zenmaya
b66f96e0
Infer option name from argument name
5mo ago
zenmaya
a7b16a69
More formatting fixes
5mo ago
zenmaya
abc49d4f
Format solver
5mo ago
zenmaya
659d0610
Fix formatting
5mo ago
zenmaya
214b9caa
Semi-working abstractions
5mo ago
zenmaya
f2b8f808
Add CDCL
5mo ago
zenmaya
302036d4
Fix clippy lints
5mo ago
zenmaya
1a4406fb
Update sources
5mo ago
zenmaya
b22289a1
Fix typo
5mo ago
zenmaya
e66759f7
Fix smtlib parser to have same api as dimacs
11mo ago
zenmaya
7e742b0a
Replace dimacs parser with pest
11mo ago
zenmaya
d874e32b
Update snapshots
11mo ago
zenmaya
7d286e2b
Fix tests
11mo ago
zenmaya
26e740b9
Add nextest and mold
11mo ago
zenmaya
91681d0f
Add nextest config
11mo ago
zenmaya
d4d5aae4
Add cargo cranelift profile
11mo ago
zenmaya
1e9249d6
Remove the unescessary default-features flag
11mo ago
zenmaya
c25148bd
Add logging and fix some bugs
11mo ago
zenmaya
a7a934cf
Add new snapshoted tests
11mo ago
zenmaya
28fb9025
Add string utils
11mo ago
zenmaya
53a008e7
Add satlib tests
11mo ago
zenmaya
801c0519
Add insta feature
11mo ago
zenmaya
e83ad0e1
WIP: DPLL + refactor
1y ago
zenmaya
4fce2035
Rename dimacs methods to the standard parse/unparse
1y ago
zenmaya
462fbcd9
WIP: Add dpll
Oops a bit of a biggie
1y ago
zenmaya
5abdb1d4
Format
1y ago
zenmaya
8cb6b80b
Add legend to dimacs
1y ago
zenmaya
580d379a
Add formula2cnf
1y ago
Use incremental results file
main
e20386a7
zenmaya
2w
Save intermediate benchmarks and shorten timeout
624b3376
zenmaya
3w
Add errors when trying to cancel non-cancellable solvers
68adc160
zenmaya
5w
Refactor cancellation
748ee7b3
zenmaya
5w
Uncancell after finishing task
8f773aae
zenmaya
5w
Update benching
39e041ac
zenmaya
5w
Cleanup
48839c88
zenmaya
5w
Add bench limit
31298923
zenmaya
7w
Fix trailing commas
bb8a3e8b
zenmaya
2mo
Rework to workspace and add benchmarking
3f818b60
zenmaya
2mo
Add nqueens cnf generator
76b24d6b
zenmaya
2mo
Add glucose restarts
6990623b
zenmaya
4mo
Fix activity and lbd not updating
833074e3
zenmaya
4mo
Fix spaces in elapsed time
7bcd4e6e
zenmaya
4mo
Add human formatting
88e4db12
zenmaya
4mo
Add progress reporting
62e37e4a
zenmaya
4mo
Fix regressions
f39b16bb
zenmaya
4mo
Add clause deletion and small opts
e8b8e3e3
zenmaya
4mo
Add formatting
ca377483
zenmaya
4mo
Add benches
be020e2c
zenmaya
4mo
More options, clause deletion and restarts
31c9a102
zenmaya
4mo
Fix tests and others
0fcff7c4
zenmaya
4mo
Add benchmarks
dca78883
zenmaya
4mo
Add integration test results
0873bb48
zenmaya
4mo
Remove tracing
aad0d3c4
zenmaya
4mo
Add other heuristics
bf6e081d
zenmaya
4mo
Add JeroslowWang heuristic
348cc2fe
zenmaya
5mo
Add DLIS variable heuristic
9bec3e61
zenmaya
5mo
Fix tests
48061b05
zenmaya
5mo
Add new unit tests
a5e1fac0
zenmaya
5mo
Add test timeout and add test matrix
86e88a9e
zenmaya
5mo
Delete old integration tests
215cfdb4
zenmaya
5mo
Infer option name from argument name
b66f96e0
zenmaya
5mo
More formatting fixes
a7b16a69
zenmaya
5mo
Format solver
abc49d4f
zenmaya
5mo
Fix formatting
659d0610
zenmaya
5mo
Semi-working abstractions
214b9caa
zenmaya
5mo
Add CDCL
f2b8f808
zenmaya
5mo
Fix clippy lints
302036d4
zenmaya
5mo
Update sources
1a4406fb
zenmaya
5mo
Fix typo
b22289a1
zenmaya
5mo
Fix smtlib parser to have same api as dimacs
e66759f7
zenmaya
11mo
Replace dimacs parser with pest
7e742b0a
zenmaya
11mo
Update snapshots
d874e32b
zenmaya
11mo
Fix tests
7d286e2b
zenmaya
11mo
Add nextest and mold
26e740b9
zenmaya
11mo
Add nextest config
91681d0f
zenmaya
11mo
Add cargo cranelift profile
d4d5aae4
zenmaya
11mo
Remove the unescessary default-features flag
1e9249d6
zenmaya
11mo
Add logging and fix some bugs
c25148bd
zenmaya
11mo
Add new snapshoted tests
a7a934cf
zenmaya
11mo
Add string utils
28fb9025
zenmaya
11mo
Add satlib tests
53a008e7
zenmaya
11mo
Add insta feature
801c0519
zenmaya
11mo
WIP: DPLL + refactor
e83ad0e1
zenmaya
1y
Rename dimacs methods to the standard parse/unparse
4fce2035
zenmaya
1y
WIP: Add dpll
Oops a bit of a biggie
462fbcd9
zenmaya
1y
Format
5abdb1d4
zenmaya
1y
Add legend to dimacs
8cb6b80b
zenmaya
1y
Add formula2cnf
580d379a
zenmaya
1y
Next