Search results

Strategy from heuristics is broken

Status: Open.

#67 In LKlinke/Prodigy;

· LKlinke opened on Sep 30, 2025

<code>compile_pgcl</code> doesnt like boolean type variables

bugSomething isn't workingSomething isn't working

Status: Open.

#63 In LKlinke/Prodigy;

· dominikgeissler opened on Mar 6, 2025

Separation of Concerns: Testing with CAV_Phi

Status: Open.

#59 In LKlinke/Prodigy;

· dominikgeissler opened on Mar 6, 2025

Christmas issues

bugSomething isn't workingSomething isn't working

enhancementNew feature or requestNew feature or request

Status: Open.

#54 In LKlinke/Prodigy;

· LKlinke opened on Dec 18, 2024

Automatic generation of documentation

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#48 In LKlinke/Prodigy;

· dominikgeissler opened on Dec 10, 2024

Redundant PGF methods?

Status: Open.

#47 In LKlinke/Prodigy;

· dominikgeissler opened on Dec 2, 2024

Ginac disagrees with Sympy and Symengine on <code>caesar.pgcl</code>

bugSomething isn't workingSomething isn't working

Status: Open.

#45 In LKlinke/Prodigy;

· dominikgeissler opened on Nov 28, 2024

Symyengine: Correctly parse the symbol <code>e</code>

bugSomething isn't workingSomething isn't working

Status: Open.

#43 In LKlinke/Prodigy;

· dominikgeissler opened on Nov 28, 2024

<code>pytest</code> fails with python version <code>&gt;= 12</code>

bugSomething isn't workingSomething isn't working

Status: Open.

#40 In LKlinke/Prodigy;

· dominikgeissler opened on Oct 1, 2024

<code>new_prob</code> variable with the web-service

Status: Open.

#39 In LKlinke/Prodigy;

· dominikgeissler opened on Aug 13, 2024

Sympy Sums of roots of unity

Status: Open.

#35 In LKlinke/Prodigy;

· LKlinke opened on Dec 7, 2023

Positivity Heuristics

Status: Open.

#34 In LKlinke/Prodigy;

· LKlinke opened on Dec 7, 2023