Search results

Add <code>(!= _)</code> constraint on constants in rules

discussion

Status: Open.

#1095 In advancedresearch/poi;

· bvssvni opened on Sep 28, 2023

Is it possible for Poi to automatically find easily invertible formulas?

discussion

Status: Open.

#1093 In advancedresearch/poi;

· bvssvni opened on Sep 28, 2023

Add <code>cross</code> symbol

discussion

draft

Status: Open.

#1092 In advancedresearch/poi;

· bvssvni opened on Sep 28, 2023

Add <code>(!= _)</code> symbol

discussion

draft

Status: Open.

#1068 In advancedresearch/poi;

· bvssvni opened on May 18, 2022

Add <code>prime</code> symbol

discussion

draft

Status: Open.

#1067 In advancedresearch/poi;

· bvssvni opened on May 18, 2022

Remove <code>eqb =&gt; eq</code>

discussion

draft

Status: Open.

#1062 In advancedresearch/poi;

· bvssvni opened on May 11, 2021

Use Avalog as context solver

discussion

draft

Status: Open.

#1061 In advancedresearch/poi;

· bvssvni opened on May 10, 2021

Turn on/off decidable tactics for Boolean algebra

discussion

draft

Status: Open.

#1051 In advancedresearch/poi;

· bvssvni opened on May 10, 2021

Print steps from start to goal in REPL

discussion

draft

Status: Open.

#1042 In advancedresearch/poi;

· bvssvni opened on May 2, 2021

Direct 4-value logic

discussion

draft

Status: Open.

#1041 In advancedresearch/poi;

· bvssvni opened on Apr 26, 2021

Handling inconsistency of function equality

discussion

draft

Status: Open.

#1039 In advancedresearch/poi;

· bvssvni opened on Apr 26, 2021

Disable proof search when inlining

discussion

draft

Status: Open.

#1033 In advancedresearch/poi;

· bvssvni opened on Apr 26, 2021