Search results

infinite loop in simplex?

bugSomething isn't workingSomething isn't working

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#22 In c-cube/sidekick;

· c-cube opened on Oct 7, 2023

add to why3?

Status: Open.

#18 In c-cube/sidekick;

· c-cube opened on Jan 6, 2022

perf: better sort

A-perfperformanceperformance

enhancementNew feature or requestNew feature or request

Status: Open.

#14 In c-cube/sidekick;

· c-cube opened on Aug 18, 2021

use satcomp 2009 for sat solver

Status: Open.

#13 In c-cube/sidekick;

· c-cube opened on Jul 22, 2021

fuzz sat solver

Status: Open.

#12 In c-cube/sidekick;

· c-cube opened on Jul 22, 2021

support named terms in input

enhancementNew feature or requestNew feature or request

Status: Open.

#5 In c-cube/sidekick;

· c-cube opened on Aug 3, 2020

enable th-bool-static on newly added term

enhancementNew feature or requestNew feature or request

Status: Open.

#2 In c-cube/sidekick;

· c-cube opened on Oct 7, 2019