Search results

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 <code>cmake --build .</code>

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 <code>LD_LIBRARY_PATH</code> 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

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

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

No module named 'library_path'

Status: Open.

#454 In stp/stp;

· learnerLj opened on Dec 21, 2022

BUILD_SHARED_LIBS must be set when ENABLE_TESTING is on?

Status: Open.

#452 In stp/stp;

· 2994186010 opened on Oct 23, 2022