Skip to content

Issues: SRI-CSL/yices2

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

Clear current search query, filters, and sorts
43 Open 331 Closed
43 Open 331 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

Bug in check-sat-assuming bug
#433 opened Mar 18, 2023 by georgerennie updated Jun 24, 2024 Yices 2.7
1
Segmentation Fault when calling get-value
#403 opened Aug 5, 2022 by ekiwi updated Jun 24, 2024 Yices 2.7
Assertion failure at solvers/simplex/simplex.c:10349
#396 opened Jan 20, 2022 by mpreiner updated Jun 24, 2024 Yices 2.7
Assertion error at exists_forall/ef_values.c:745
#366 opened Jun 19, 2021 by rainoftime updated Jun 24, 2024 Yices 2.7
1
Feature request : please support Finite Field simplification.
#521 opened Jun 23, 2024 by ytrezq updated Jun 23, 2024
The exists/forall solver failed: unsupported term
#517 opened Jun 6, 2024 by Heaven2024 updated Jun 6, 2024
Major performance difference between Yices2 and Z3 on BV benchmarks
#492 opened Mar 9, 2024 by ThomasHaas updated Mar 9, 2024
Yices global lock in egraph final check
#487 opened Feb 5, 2024 by Saloed updated Feb 5, 2024
NO_ERROR enum intersects with windows header defines
#290 opened Aug 26, 2020 by nevilad updated Jan 30, 2024 Yices 2.7
1
Merge the per-thread-state branch into master
#469 opened Oct 11, 2023 by ahmed-irfan updated Oct 23, 2023 Yices 2.7
Feature request: making delegates available when solving from a Yices context
#453 opened Aug 3, 2023 by disteph updated Oct 3, 2023 Yices 2.7
Displaying solving results when using --dimacs on trivial sat/unsat formulas
#432 opened Mar 14, 2023 by rainoftime updated Sep 6, 2023 Yices 2.7
1
API: Could yices_assert_blocking_clause return the clause?
#393 opened Dec 8, 2021 by disteph updated Sep 5, 2023 Yices 2.7
1
@ahmed-irfan
yices_model_set_<type> api in 2.6.4
#392 opened Nov 17, 2021 by ianamason updated Sep 5, 2023 Yices 2.7
4
yices_new_uninterpreted_term does not produce an uninterpreted term
#414 opened Nov 1, 2022 by disteph updated Sep 5, 2023 Yices 2.7
1
UNSAT cores support in mcSAT
#455 opened Aug 9, 2023 by ahmed-irfan updated Sep 5, 2023 Yices 2.7
Question on Arrays (with extensionality) enhancement
#110 opened Feb 19, 2019 by aman-goel updated Aug 25, 2023
3
Performance issue on QF_NIA formula enhancement mcsat QF_NIA
#307 opened Sep 27, 2020 by rainoftime updated May 24, 2023
1
Poor test results on PowerPC: how to improve/fix?
#424 opened Dec 27, 2022 by barracuda156 updated Jan 7, 2023
6
"" escape sequence not supported in strings
#417 opened Nov 5, 2022 by stevenmeker updated Nov 5, 2022
Double quotes omitted in echo command response
#416 opened Nov 5, 2022 by stevenmeker updated Nov 5, 2022
Doesn't always exit immediately on error
#415 opened Nov 3, 2022 by stevenmeker updated Nov 3, 2022
E: Unable to locate package yices2
#408 opened Sep 20, 2022 by abc767234318 updated Sep 21, 2022
3
QF_LIA performance issue with mod/div
#410 opened Sep 21, 2022 by unosalt updated Sep 21, 2022
(get-value (0.0)) gives ((0.0 0)) , missing decimal point
#406 opened Aug 17, 2022 by jwaldmann updated Aug 17, 2022
ProTip! Type g i on any issue or pull request to go back to the issue listing page.