Skip to content

Issues: stp/stp

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

47 Open 264 Closed
47 Open 264 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

cannot open libcadiback.so, NO such file or directory
#494 opened Aug 27, 2024 by takuyamafuru
1
Still needing to manually set LD_LIBRARY_PATH to point to cadical and cadiback
#485 opened Jun 11, 2024 by gussmith23
1
Incremental STP Solving
#483 opened Apr 26, 2024 by sreeshmaheshwar
5
Installing to non-standard directory gives errors
#479 opened Dec 19, 2023 by gussmith23
1
sudo cmake --install . doesn't install the libraries libminisat.so.2 and libcryptominisat5.so.5.11
#473 opened Nov 30, 2023 by Tc14Hd
2
About STP Aborted
#471 opened Oct 14, 2023 by zfx-code
17
new STP much slower on some examples
#463 opened Apr 14, 2023 by ericwhitmansmith
5
No module named 'library_path'
#454 opened Dec 21, 2022 by learnerLj
1
3
BUILD_SHARED_LIBS must be set when ENABLE_TESTING is on?
#452 opened Oct 23, 2022 by 2994186010
Improve commutativity/associativity reasoning for addition
#444 opened Aug 11, 2022 by aytey
1
Windows CI build is failing
#443 opened Aug 7, 2022 by TrevorHansen
rpath doesn't work correctly with relative CMAKE_INSTALL_LIBDIR
#437 opened Jul 26, 2022 by jirislaby
1
12
Make Minisat optional? question
#433 opened Jul 12, 2022 by TrevorHansen STP 2.4
@TrevorHansen
20
python3 support stp？
#426 opened May 22, 2022 by AhYaaaaas
1
Find maximum value?
#425 opened May 12, 2022 by r4dr3fr4d STP 2.4
@TrevorHansen
10
"Conflict" between system-wide Googletest install and STP's (macOS) build issue
#393 opened Jan 24, 2021 by aytey
@aytey
New release 2.4
#392 opened Jan 4, 2021 by aytey STP 2.4
21
Evaluate moving to recent ABC
#375 opened Jul 30, 2020 by rgov
@aytey
25
Re-enable static builds in CI
#369 opened Jul 20, 2020 by rgov
8
GetGitRevisionDescription does not support Git worktrees
#366 opened Jul 20, 2020 by aytey
Additional SMTLib2 support
#365 opened Jul 16, 2020 by robdockins STP 2.4
13
Get bitvector model as a vector of bool
#357 opened Jul 9, 2020 by mikhailramalho STP 2.4
5
build system does not seem to respect CMAKE_INSTALL_PREFIX for Python API
#353 opened May 20, 2020 by mfernan2
8
Document the command line tools
#342 opened Feb 25, 2020 by rgov
Clearer instructions for building on Windows
#341 opened Feb 25, 2020 by rgov
2
ProTip! Find all open issues with in progress development work with linked:pr.