Search results

smallest degree versus largest degree

Status: Open.

#115 In ths-rwth/smtrat;

· levnach opened on Dec 22, 2025

Build fails with CMake 4.0

Status: Open.

#113 In ths-rwth/smtrat;

· Philipp15b opened on Jul 16, 2025

Building in Dockerfile works but needs environment variable

Status: Open.

#110 In ths-rwth/smtrat;

· rpgoldman opened on Dec 22, 2022

cmake fails on MacOS 12.6.2 with Homebrew

Status: Open.

#109 In ths-rwth/smtrat;

· rpgoldman opened on Dec 22, 2022

Remove unnecessary null pointer checks

Status: Open.

#107 In ths-rwth/smtrat;

· elfring opened on Nov 16, 2022

Request: Add example model files

Status: Open.

#101 In ths-rwth/smtrat;

· rpgoldman opened on Aug 25, 2022

Request: Add installation instructions

Status: Open.

#100 In ths-rwth/smtrat;

· rpgoldman opened on Aug 25, 2022

Syntax specification?

Status: Open.

#99 In ths-rwth/smtrat;

· rpgoldman opened on Aug 16, 2022

Problem building on top of Carl

Status: Open.

#97 In ths-rwth/smtrat;

· rpgoldman opened on Aug 16, 2022

Suggestion for improvement

Status: Open.

#94 In ths-rwth/smtrat;

· dxliuNJU opened on Jun 28, 2021

Assertion violation at smtrat-modules/SATModule/SATModule.cpp:3137 (mcsat)

Status: Open.

#92 In ths-rwth/smtrat;

· rainoftime opened on Jun 29, 2020

Soundness bug on QF_NRA formula (mcsat)

Status: Open.

#91 In ths-rwth/smtrat;

· rainoftime opened on Jun 24, 2020