Search results

Bug in sum function when input contains repeated integer values

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#69 In VUISIS/formula;

· HuaJin16 opened on Jun 23, 2025

Improve parser's error reporting

Status: Open.

#68 In VUISIS/formula;

· balasub opened on Jun 2, 2025

Print conflicts when eagerly evaluated constraints are unsatisfiable

enhancementNew feature or requestNew feature or request

Status: Open.

#66 In VUISIS/formula;

· balasub opened on Jan 10, 2025

Unexpected hang with partial model

bugSomething isn't workingSomething isn't working

Status: Open.

#62 In VUISIS/formula;

· balasub opened on Jun 7, 2024

Crash when mapping unsat core to terms

bugSomething isn't workingSomething isn't working

Status: Open.

#61 In VUISIS/formula;

· balasub opened on May 30, 2024

Bug2 in Recursive Symbolic Constraints

bugSomething isn't workingSomething isn't working

Status: Open.

#59 In VUISIS/formula;

· VeraZhang0311 opened on May 29, 2024

Bug in recursive symbolic constraints

bugSomething isn't workingSomething isn't working

Status: Open.

#58 In VUISIS/formula;

· balasub opened on May 29, 2024

Unexpected empty set of conflict terms

bugSomething isn't workingSomething isn't working

Status: Open.

#46 In VUISIS/formula;

· balasub opened on Jul 21, 2023

Nix flakes build failure

Status: Open.

#23 In VUISIS/formula;

· casciand opened on Feb 20, 2023

M1/M2 Mac Dotnet Build

Known Issue

Status: Open.

#13 In VUISIS/formula;

· saj122 opened on Jan 23, 2023

Additional operators for symbolic evaluation

enhancementNew feature or requestNew feature or request

Status: Open.

#2 In VUISIS/formula;

· balasub opened on Aug 1, 2022

Improve output from the query command

enhancementNew feature or requestNew feature or request

Status: Open.

#3 In VUISIS/formula;

· balasub opened on Mar 8, 2022