Skip to content

Issues: jix/varisat

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

24 Open 17 Closed
24 Open 17 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Measure of decisions
#168 opened Sep 15, 2024 by felixberliner1
1
Add Crates.io Tags
#162 opened Sep 17, 2020 by RedlineTriad
1
Solving timeout enhancement New feature or request
#111 opened Aug 21, 2019 by tsionyx
2
Provide some examples of varisat usage (as a library) documentation This issue is about the documentation
#105 opened Aug 14, 2019 by dralley
Document variable sampling modes documentation This issue is about the documentation
#67 opened May 29, 2019 by jix
Document solver configuration documentation This issue is about the documentation
#56 opened May 18, 2019 by jix
Define and implement a stable proof format for verified checking enhancement New feature or request
#43 opened May 14, 2019 by jix
Test the command line interface testing Test coverage needs to be improved
#41 opened May 11, 2019 by jix
Data logging and visualization enhancement New feature or request
#38 opened May 10, 2019 by jix
Compiling to WASM and js/typescript bindings enhancement New feature or request
#37 opened May 10, 2019 by jix
Python bindings enhancement New feature or request
#36 opened May 10, 2019 by jix
Rate limit simplification enhancement New feature or request
#33 opened May 10, 2019 by jix
Hyper Binary Resolution enhancement New feature or request
#32 opened May 10, 2019 by jix
Glue based restarts enhancement New feature or request
#29 opened May 10, 2019 by jix
Faster priority queue for VSIDS refactor Existing code that needs a major improvement or rewrite
#27 opened May 10, 2019 by jix
Bounded variable elimination enhancement New feature or request
#25 opened May 9, 2019 by jix
Refactor the scheduler enhancement New feature or request refactor Existing code that needs a major improvement or rewrite
#24 opened May 9, 2019 by jix
Add API to enumerate solutions enhancement New feature or request
#22 opened May 9, 2019 by jix
Evaluate the "Matching Trail" partial restart strategy enhancement New feature or request research Requires research, looking for solutions in the literature, running experiments, etc.
#20 opened May 9, 2019 by jix
Glue levels during incremental solving enhancement New feature or request research Requires research, looking for solutions in the literature, running experiments, etc.
#19 opened May 9, 2019 by jix
Better and optional model output enhancement New feature or request
#17 opened May 9, 2019 by jix
Document proof API in the manual documentation This issue is about the documentation
#16 opened May 9, 2019 by jix
Document incremental parsing in the manual documentation This issue is about the documentation
#15 opened May 9, 2019 by jix
Implement standardized incremental SAT solver interface: IPASIR enhancement New feature or request
#1 opened Apr 10, 2019 by Robbepop
2
ProTip! Add no:assignee to see everything that’s not assigned.