Andrew V. Teylu

Personally, I'd remove what's in `__init__.py` and let the user get those when they do something like `from stp.stp import Solver`. Interestingly, there does appear to be a `library_path.py.in_install` already....

Okay, let me have a think. I might opt for something even more disruptive (== remove the content of `__init__.py` and your change) and (finally) release a new version of...

Yeah, release seems broken on macOS: ``` avj@armadillo /tmp/stp$ clang --version Apple clang version 12.0.0 (clang-1200.0.32.29) Target: arm64-apple-darwin20.3.0 Thread model: posix InstalledDir: /Library/Developer/CommandLineTools/usr/bin avj@armadillo /tmp/stp$ uname -a Darwin armadillo 20.3.0...

Joining the dots: https://github.com/Z3Prover/z3/issues/4568#issuecomment-655743461 Are you using the C or Python API? Do you want an STP `vc_boolType` or a language-level Boolean type (e.g., `bool` in C99/Python)?

So I was just taking a look at this for you, and I noticed this: - [`getBVInt`](https://github.com/stp/stp/blob/master/lib/Interface/c_interface.cpp#L1607) calls `GetUnsignedConst` - [`getBVUnsigned`](https://github.com/stp/stp/blob/master/lib/Interface/c_interface.cpp#L1621) calls `GetUnsignedConst` The code for [`GetUnsignedConst`](https://github.com/stp/stp/blob/master/lib/AST/ASTNode.cpp#L235) seems to be...

Should be done; take a look at: https://github.com/stp/stp/pull/358 To be clear: this PR needs to be agreed by one of: @msoos @TrevorHansen @rgov -- it is possible that they might...

Okay; cool. So that's what's in the PR. An example of usage is here: https://github.com/andrewvaughanj/stp/blob/return_bit_string/tests/api/C/bit_string.cpp#L40

> I'm surprised it's so easy after 12 years. Well, this hasn't run through CI, so I don't know if Mate's fuzzing stuff will unearth anything extra. All I can...

I found `vecInt.h` here: https://github.com/berkeley-abc/abc/blob/master/src/misc/vec/vecInt.h (I chose it at random) What process did you use to try and find these files? That's not a negative question; I'm hoping there's a...

Our `cnf_short.h` has a declaration of `Cnf_DeriveSimple` -- this appears in this file: https://github.com/berkeley-abc/abc/blob/master/src/sat/cnf/cnf.h