Search results

Check Speed of refactored solvers on labelling

Status: Open.

#171 In LP-RG/subxpat;

· lollospadalaser opened on Aug 26, 2025

Improve data export approach

Status: Open.

Feature

#170 In LP-RG/subxpat;

· marco-biasion opened on Aug 12, 2025

Fixes of recent changes regarding #81

Status: Open.

Bug

#166 In LP-RG/subxpat;

· marco-biasion opened on Aug 5, 2025

Updating Python Version

Status: Open.

Task

#161 In LP-RG/subxpat;

· Francesco-Cos opened on Jul 18, 2025

error zone improvements

DiscussionA discussion and more information is neededA discussion and more information is needed

UROP ProjectThis regards an UROP projectThis regards an UROP project

Status: Open.

Task

#160 In LP-RG/subxpat;

· marco-biasion opened on Jul 15, 2025

Labelling improvements experiments

DiscussionA discussion and more information is neededA discussion and more information is needed

UROP ProjectThis regards an UROP projectThis regards an UROP project

Status: Open.

Task

#158 In LP-RG/subxpat;

· marco-biasion opened on Jul 7, 2025

Discuss "subgraph output edges constraint"

DiscussionA discussion and more information is neededA discussion and more information is needed

Status: Open.

Task

#157 In LP-RG/subxpat;

· lollospadalaser opened on Jul 7, 2025

Improve <code>verilog</code> parsing into memory

DiscussionA discussion and more information is neededA discussion and more information is needed

Status: Open.

Refactoring

#149 In LP-RG/subxpat;

· marco-biasion opened on Jun 10, 2025

Expand logic to understand multi-output circuits

DiscussionA discussion and more information is neededA discussion and more information is needed

Status: Open.

Feature

#147 In LP-RG/subxpat;

· marco-biasion opened on Jun 10, 2025

Verify correctness of behavioural implementation of benchmarks families in <code>.v</code>

Status: Open.

Task

#146 In LP-RG/subxpat;

· marco-biasion opened on May 30, 2025

Analyze monotonicity of node weights (from graph labeling)

Status: Open.

Task

#145 In LP-RG/subxpat;

· marco-biasion opened on May 30, 2025

Run experiments on EPFL benchmarks

Status: Open.

Task

#144 In LP-RG/subxpat;

· marco-biasion opened on May 30, 2025