Search results

How to get all solutions from a theorem?

Status: Open.

#41 In endjin/Z3.Linq;

· LittleLittleCloud opened on Oct 22, 2024

Cannot use expressions in place of variables

Status: Open.

#36 In endjin/Z3.Linq;

· VelizarHristov opened on Dec 27, 2023

Other improvements available

Status: Open.

#29 In endjin/Z3.Linq;

· jsboige opened on Aug 30, 2023

Checking for unsatisfiability when using ValueTuple

Status: Open.

#28 In endjin/Z3.Linq;

· NickRedwood opened on Aug 2, 2023

Approach advice requested

Status: Open.

#10 In endjin/Z3.Linq;

· WhitWaldo opened on Sep 28, 2022

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

Status: Open.

#6 In endjin/Z3.Linq;

· JavaScript-zt opened on Feb 7, 2022

Implement VisitParameter in ExpressionVisitor

Status: Open.

#3 In endjin/Z3.Linq;

· HowardvanRooijen opened on Nov 24, 2021

Investigate full support for record types.

Status: Open.

#2 In endjin/Z3.Linq;

· HowardvanRooijen opened on Nov 24, 2021