Search results

Stack based visitation

Status: Open.

#17 In FreeYourSoul/Fabko;

· FreeYourSoul opened on May 6, 2023

Tseytin Transformation

Status: Open.

#16 In FreeYourSoul/Fabko;

· FreeYourSoul opened on May 3, 2023

Implement :: Up To N (LTseq)

enhancementImprovement of existing featureImprovement of existing feature

featureAdd an additional featureAdd an additional feature

Status: Open.

#15 In FreeYourSoul/Fabko;

· FreeYourSoul opened on May 2, 2023

Define abstract interface for Agent / Peerboard

DesignDesign decision to takeDesign decision to take

enhancementImprovement of existing featureImprovement of existing feature

Status: Open.

#14 In FreeYourSoul/Fabko;

· FreeYourSoul opened on May 2, 2023

CI : Implement Thread Sanitizer / Memory Sanitizer / Adress Sanitizer / UB Sanitizer

CICI related ticket (implementation fix improvement)CI related ticket (implementation fix improvement)

Status: Open.

#11 In FreeYourSoul/Fabko;

· FreeYourSoul opened on May 1, 2023

·  

v0.1.0

CI : Implement checks with cppcheck

CICI related ticket (implementation fix improvement)CI related ticket (implementation fix improvement)

Status: Open.

#9 In FreeYourSoul/Fabko;

· FreeYourSoul opened on May 1, 2023

·  

v0.1.0

Read: EPFL Winston thesis on exact synthesis

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementImprovement of existing featureImprovement of existing feature

Status: Open.

#7 In FreeYourSoul/Fabko;

· FreeYourSoul opened on May 1, 2023

feature : add variable forcing in SAT

enhancementImprovement of existing featureImprovement of existing feature

featureAdd an additional featureAdd an additional feature

Status: Open.

#6 In FreeYourSoul/Fabko;

· FreeYourSoul opened on May 1, 2023

·  

v0.1.0

feature: define a combinatory binary language

enhancementImprovement of existing featureImprovement of existing feature

Status: Open.

#3 In FreeYourSoul/Fabko;

· FreeYourSoul opened on May 1, 2023

·  

v0.1.0

improvement: environment variable for default log level

enhancementImprovement of existing featureImprovement of existing feature

Status: Open.

#2 In FreeYourSoul/Fabko;

· FreeYourSoul opened on May 1, 2023

·  

v0.1.0