Search results

libabc-pic.so not handled correctly

Status: Open.

#510 In stp/stp;

* ccadar opened on Oct 24, 2025

how can i get the python interface 'stp'

Status: Open.

#506 In stp/stp;

* Hql-code opened on Jul 22, 2025

Errors + solutions when building on Ubuntu 24.04 (and likely earlier Ubuntu versions as well)

Status: Open.

#503 In stp/stp;

* gussmith23 opened on Apr 28, 2025

error occurs when running cmake --build .

Status: Open.

#501 In stp/stp;

* Danie1-red opened on Apr 11, 2025

Update STP to conform with SMTLIB 2.6 or 2.7

Status: Open.

#500 In stp/stp;

* Supermarcel10 opened on Mar 28, 2025

cannot open libcadiback.so, NO such file or directory

Status: Open.

#494 In stp/stp;

* takuyamafuru opened on Aug 27, 2024

Still needing to manually set LD_LIBRARY_PATH to point to cadical and cadiback

Status: Open.

#485 In stp/stp;

* gussmith23 opened on Jun 11, 2024

Incremental STP Solving

Status: Open.

#483 In stp/stp;

* sreeshmaheshwar opened on Apr 26, 2024

Installing to non-standard directory gives errors

Status: Open.

#479 In stp/stp;

* gussmith23 opened on Dec 19, 2023

sudo cmake --install . doesn't install the libraries libminisat.so.2 and libcryptominisat5.so.5.11

Status: Open.

#473 In stp/stp;

* Tc14Hd opened on Nov 30, 2023

About STP Aborted

Status: Open.

#471 In stp/stp;

* zfx-code opened on Oct 14, 2023

new STP much slower on some examples

Status: Open.

#463 In stp/stp;

* ericwhitmansmith opened on Apr 14, 2023