issues
search
sarsko
/
CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
MIT License
614
stars
12
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Panic at CreuSAT/src/parser.rs:130:14 on simple formula
#44
wintered
closed
2 months ago
5
Thesis Typo: Lit Struct in Section 3.3
#43
mathatter997
opened
4 months ago
1
Update Creusot
#42
sarsko
closed
7 months ago
0
Fix creusot Default error in CreuSAT + init custom tactics
#41
sarsko
closed
1 year ago
0
Default Citation
#40
m-fleury
closed
1 year ago
1
Fix 4 months of inactivity
#39
sarsko
closed
1 year ago
0
[CreuSAT] restart heuristic
#38
m-fleury
closed
2 years ago
2
Abstract DPLL
#37
xldenis
opened
2 years ago
0
Make some proofs go faster + DCE
#36
sarsko
closed
2 years ago
0
Update Replay + cargo fmt.
#35
sarsko
closed
2 years ago
0
Update Creusot
#34
xldenis
closed
2 years ago
0
Model
#33
xldenis
opened
2 years ago
0
Fix proof and update creusot
#32
xldenis
closed
2 years ago
0
Improvements to JigSAT
#31
sarsko
closed
2 years ago
0
Use as a Crate? | Adding a Rust API?
#30
Eh2406
opened
2 years ago
7
Revert "Revert "Update friday""
#29
sarsko
closed
2 years ago
1
Revert "Update friday"
#28
sarsko
closed
2 years ago
0
Update friday
#27
sarsko
closed
2 years ago
0
Add unsafe to assignments, formula and clause.
#26
sarsko
closed
2 years ago
0
remove inner
#25
xldenis
closed
2 years ago
1
Merge the circular search to master
#24
sarsko
closed
2 years ago
0
Simplifications
#23
xldenis
closed
2 years ago
0
Fix CI once and forall
#22
xldenis
closed
2 years ago
0
Setup basic CI
#21
xldenis
closed
2 years ago
1
Do some manual DCE
#20
xldenis
closed
2 years ago
0
Better conflict analysis and revamp of the post unit predicate
#19
sarsko
closed
2 years ago
0
Merge CreuSAT-wip (new resolve and updated proofs to support `ghost!` + prelude and ide)
#18
sarsko
closed
2 years ago
0
Merge master into CreuSAT-wip
#17
sarsko
closed
2 years ago
0
Use bump / arena allocator
#16
xldenis
opened
2 years ago
2
Remove runtime checks
#15
xldenis
opened
2 years ago
1
Set up CI
#14
xldenis
closed
2 years ago
1
Include`ide` script in repo
#13
xldenis
closed
2 years ago
1
Alternate clause layouts
#12
xldenis
opened
2 years ago
8
Merge the search-idx-clause
#11
sarsko
closed
2 years ago
0
Merge the integrate branch
#10
sarsko
closed
2 years ago
0
Merge VMTF into deletions branch
#9
sarsko
closed
2 years ago
0
Merge CDCL with new trail into master
#8
sarsko
closed
2 years ago
0
Use a cargo feature
#7
xldenis
closed
2 years ago
1
Merge playground into master
#6
sarsko
closed
2 years ago
0
Merge DPLL trail to main
#5
sarsko
closed
2 years ago
0
Merge unit prop
#4
sarsko
closed
2 years ago
0
cleanup
#3
sarsko
closed
2 years ago
0
Proving mirror
#2
sarsko
closed
3 years ago
0
Fixed the formula invariant + usize -> Int in proofs
#1
sarsko
closed
3 years ago
0