-
Notifications
You must be signed in to change notification settings - Fork 5
Issues: elsoroka/Satisfiability.jl
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Merge dev branch with ints + reals, SMT arithmetic, updated docs, doc building Github action.
#4
by elsoroka
was merged Jul 1, 2023
Loading…
Add missing operators defined in SMT-LIB QF_BV Logic specification
enhancement
New feature or request
#22
by elsoroka
was closed Dec 2, 2023
Value of constant shouldn't be modified when problem is unsat
bug
Something isn't working
#26
by elsoroka
was closed Dec 12, 2023
Reals example in README.md doesn't work
bug
Something isn't working
#32
by zygi
was closed Feb 10, 2024
Documentation workflow times out
documentation
Improvements or additions to documentation
#37
by elsoroka
was closed Mar 12, 2024
Example #3 in README.md is broken.
question
Further information is requested
#48
by rafaelbailo
was closed Jul 8, 2024
ProTip!
Follow long discussions with comments:>50.