Search results

Length procedure giving incorrect results

Status: Open.

#366 In VeriFIT/z3-noodler;

· lachim005 opened on Mar 10, 2026

Incorrect UNSAT result on disjoint Real/Quantifier and String constraints

Status: Open.

#325 In VeriFIT/z3-noodler;

· wingsyuyi-satori opened on Jan 7, 2026

Add support for more string functions

Status: Open.

#306 In VeriFIT/z3-noodler;

· jurajsic opened on Dec 20, 2025

Interactive control of SMT solving

Status: Open.

#257 In VeriFIT/z3-noodler;

· fiedorjan opened on Oct 1, 2025

Implement model generation for cyclic inclusions

Status: Open.

#179 In VeriFIT/z3-noodler;

· jurajsic opened on Sep 18, 2024

Move rules from predicate axiomatization to theory rewriter

Status: Open.

#122 In VeriFIT/z3-noodler;

· vhavlena opened on Feb 21, 2024

Rewriting string rewriter

Status: Open.

#83 In VeriFIT/z3-noodler;

· jurajsic opened on Jul 12, 2023