issues
search
jix
/
varisat
SAT solver written in Rust
https://jix.one/project/varisat
Apache License 2.0
253
stars
17
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Various small cleanups
#68
jix
closed
5 years ago
2
Document variable sampling modes
#67
jix
opened
5 years ago
0
Emit propagated unit clauses for DRAT proofs
#66
jix
closed
5 years ago
2
Variable renumbering infrastructure
#65
jix
closed
5 years ago
4
Correct handling of unit clauses for DRAT proofs
#64
jix
closed
5 years ago
9
Bump leb128 from 0.2.3 to 0.2.4
#63
dependabot-preview[bot]
closed
5 years ago
2
Fix detection of lrat checking utilities
#62
jix
closed
5 years ago
3
Bump tempfile from 3.0.7 to 3.0.8
#61
dependabot-preview[bot]
closed
5 years ago
2
Ensure Var/Lit methods can be inlined
#60
jix
closed
5 years ago
2
Remove now incorrect part of the API docs for add_clause
#59
jix
closed
5 years ago
2
Fix crate order
#58
jix
closed
5 years ago
2
Release Varisat 0.2.1
#57
jix
closed
5 years ago
4
Document solver configuration
#56
jix
opened
5 years ago
0
Var methods and ExtendFormula to make it easier to construct formulas
#55
jix
closed
5 years ago
2
Use `polarity` instead of `negative` for Lit's public API
#54
jix
closed
5 years ago
2
Use `polarity` instead of `negative` for Lit's public API
#53
jix
closed
5 years ago
0
Always use all Context parts
#52
jix
closed
5 years ago
4
Split varisat into multiple crates and add re-exports
#51
jix
closed
5 years ago
2
Bump toml from 0.5.0 to 0.5.1
#50
dependabot-preview[bot]
closed
5 years ago
2
Use extracted vec_mut_scan library
#49
jix
closed
5 years ago
2
Proofs for incremental solving
#48
jix
closed
5 years ago
2
Precise proof checking for satisfiable instances
#47
jix
closed
5 years ago
2
Bump synstructure from 0.10.1 to 0.10.2
#46
dependabot-preview[bot]
closed
5 years ago
2
Import all Context part marker types by default
#45
jix
closed
5 years ago
0
Toplevel re-exports or prelude of commonly used items
#44
jix
closed
5 years ago
0
Define and implement a stable proof format for verified checking
#43
jix
opened
5 years ago
0
Improve the proof format and proof checker
#42
jix
closed
5 years ago
2
Test the command line interface
#41
jix
opened
5 years ago
0
Reduce the size of varisat proofs
#40
jix
closed
5 years ago
0
Implement search parameter configuration
#39
jix
closed
5 years ago
6
Data logging and visualization
#38
jix
opened
5 years ago
0
Compiling to WASM and js/typescript bindings
#37
jix
opened
5 years ago
0
Python bindings
#36
jix
opened
5 years ago
0
Split varisat crate
#35
jix
closed
5 years ago
0
Bump serde from 1.0.90 to 1.0.91
#34
dependabot-preview[bot]
closed
5 years ago
2
Rate limit simplification
#33
jix
opened
5 years ago
0
Hyper Binary Resolution
#32
jix
opened
5 years ago
0
Make varisat proofs more useful in the incremental setting
#31
jix
closed
5 years ago
0
Make proof generation and checking precise for satisfiable instances
#30
jix
closed
5 years ago
0
Glue based restarts
#29
jix
opened
5 years ago
0
Temporarily remove satisfied clauses from watchlists
#28
jix
closed
5 years ago
1
Faster priority queue for VSIDS
#27
jix
opened
5 years ago
0
Fix proof generation for duplicated unit clauses
#26
jix
closed
5 years ago
2
Bounded variable elimination
#25
jix
opened
5 years ago
0
Refactor the scheduler
#24
jix
opened
5 years ago
0
Search parameter configuration
#23
jix
closed
5 years ago
0
Add API to enumerate solutions
#22
jix
opened
5 years ago
0
Infrastructure for variable renumbering and elimination
#21
jix
closed
5 years ago
1
Evaluate the "Matching Trail" partial restart strategy
#20
jix
opened
5 years ago
0
Glue levels during incremental solving
#19
jix
opened
5 years ago
0
Previous
Next