Search results

Add JavaSMT project template for Ivy/Ant

Documentation

Status: Draft (not ready).

sosy-lab/java-smtnumber 467

#467 In sosy-lab/java-smt;

· daniel-raffler opened on Mar 23, 2025

Problems with installation

Documentation

Status: Open.

#463 In sosy-lab/java-smt;

· cloerkes opened on Mar 21, 2025

CVC5 timeout implementation

Documentation

question

Status: Open.

#419 In sosy-lab/java-smt;

· Avgor46 opened on Dec 26, 2024

Using native solvers from a dependent Maven package

Documentation

Maven

Status: Open.

#393 In sosy-lab/java-smt;

· jasper-vb opened on Sep 13, 2024

Maven via Github-Maven-Registry instead of OSS-Nexus

Build

Documentation

Status: Open.

#385 In sosy-lab/java-smt;

· kfriedberger opened on Jul 7, 2024

Improve CI coverage for more systems like MacOS and Windows

Build

Documentation

Status: Open.

#384 In sosy-lab/java-smt;

· kfriedberger opened on Jul 7, 2024

Automate Release Publication

Build

Documentation

Status: Open.

#383 In sosy-lab/java-smt;

· kfriedberger opened on Jul 7, 2024

Example Gradle Project

Documentation

enhancement

Status: Open.

#224 In sosy-lab/java-smt;

· lorenzleutgeb opened on Apr 3, 2021

Document Simplification Capabilities.

Documentation

Status: Open.

#191 In sosy-lab/java-smt;

· kfriedberger opened on Jun 17, 2020

Document or improve concurrency support for JavaSMT

Documentation

enhancement

Status: Open.

#184 In sosy-lab/java-smt;

· kfriedberger opened on Mar 23, 2020