Search results

Implement new parser

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#204 In tudo-aqua/konstraints;

· laurenzlevi opened on Nov 10, 2025

Create minimal smt-benchmark subset

Status: Open.

#198 In tudo-aqua/konstraints;

· laurenzlevi opened on Oct 19, 2025

Strings DSL

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#196 In tudo-aqua/konstraints;

· laurenzlevi opened on Oct 10, 2025

QOL improvments for ITE DSL

Status: Open.

#195 In tudo-aqua/konstraints;

· laurenzlevi opened on Oct 7, 2025

QOL improvements for ArraysEx DSL

Status: Open.

#194 In tudo-aqua/konstraints;

· laurenzlevi opened on Oct 7, 2025

Support any solver

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#186 In tudo-aqua/konstraints;

· laurenzlevi opened on Sep 19, 2025

cvc5 support

enhancementNew feature or requestNew feature or request

Status: Open.

#106 In tudo-aqua/konstraints;

· no-preserve-root opened on Oct 21, 2024

Proprietary SMT Extensions

enhancementNew feature or requestNew feature or request

Status: Open.

#105 In tudo-aqua/konstraints;

· no-preserve-root opened on Oct 21, 2024

Implement missing SMT-Commands

enhancementNew feature or requestNew feature or request

Status: Open.

#49 In tudo-aqua/konstraints;

· laurenzlevi opened on Jun 3, 2024

DSL

enhancementNew feature or requestNew feature or request

Status: Open.

#39 In tudo-aqua/konstraints;

· laurenzlevi opened on May 17, 2024

Better exception messages

enhancementNew feature or requestNew feature or request

Status: Open.

#36 In tudo-aqua/konstraints;

· laurenzlevi opened on May 17, 2024

Datatypes support

enhancementNew feature or requestNew feature or request

Status: Open.

#34 In tudo-aqua/konstraints;

· laurenzlevi opened on May 17, 2024