Issues

• Enum symbols are not constrained to the members of the enum

  endjin/Z3.Linq#97 · Filter by author HowardvanRooijen opened on Sep 1, 2026

• Object collections cannot be constrained or read back: a Holder[] symbol fails in every shape

  endjin/Z3.Linq#89 · Filter by author HowardvanRooijen opened on Sep 1, 2026

• Hold Z3.Linq releases until Microsoft.Z3 is published to nuget.org

  endjin/Z3.Linq#60 · Filter by author HowardvanRooijen opened on Sep 1, 2026

• How to get all solutions from a theorem?

  endjin/Z3.Linq#41 · Filter by author LittleLittleCloud opened on Oct 22, 2024
  1

• Cannot use expressions in place of variables

  endjin/Z3.Linq#36 · Filter by author VelizarHristov opened on Dec 27, 2023

• Other improvements available

  endjin/Z3.Linq#29 · Filter by author jsboige opened on Aug 30, 2023
  13

• Checking for unsatisfiability when using ValueTuple

  endjin/Z3.Linq#28 · Filter by author NickRedwood opened on Aug 2, 2023
  3

• Approach advice requested

  endjin/Z3.Linq#10 · Filter by author WhitWaldo opened on Sep 28, 2022
  4

• Circular decimal last char ‘?’ cannot parse decimal or double

  endjin/Z3.Linq#6 · Filter by author JavaScript-zt opened on Feb 7, 2022
  5

• Implement VisitParameter in ExpressionVisitor

  endjin/Z3.Linq#3 · Filter by author HowardvanRooijen opened on Nov 24, 2021

• Investigate full support for record types.

  endjin/Z3.Linq#2 · Filter by author HowardvanRooijen opened on Nov 24, 2021