Search results

[IPASIR UP] Request for API call to use or activate a variable

Status: Open.

#140 In arminbiere/cadical;

· amarshah1 opened on Aug 19, 2025

[IPASIR UP] Proposal to add callback <code>cb_add_observed_var</code>

Status: Open.

#139 In arminbiere/cadical;

· amarshah1 opened on Aug 4, 2025

propagate_assumptions issues

Status: Open.

#130 In arminbiere/cadical;

· m-fleury opened on Mar 4, 2025

Slightly confusing documentation of <code>propagate</code>

enhancement

Status: Open.

#129 In arminbiere/cadical;

· chrjabs opened on Feb 11, 2025

[IPASIR UP] Search with uninitialized search limits

Status: Open.

#106 In arminbiere/cadical;

· Dekker1 opened on Jul 8, 2024

Build uses low optimization option "-O" instead of the one provided from outside

Status: Open.

#101 In arminbiere/cadical;

· yurivict opened on Jun 5, 2024

Maybe try 'hint' instead of 'phase' to select decision phase (at most) once

enhancement

Status: Open.

#93 In arminbiere/cadical;

· arminbiere opened on Mar 4, 2024

Large Performance Overhead during Initialization

Status: Open.

#86 In arminbiere/cadical;

· SimonKlx opened on Jan 30, 2024

don't print variables in witness that are not part of the formula

enhancement

Status: Open.

#83 In arminbiere/cadical;

· marijnheule opened on Dec 30, 2023

Expose phase/unphase in the C API

enhancement

Status: Open.

#65 In arminbiere/cadical;

· sfiruch opened on Sep 6, 2023

Output Failed Literals in CLI

enhancement

Status: Open.

#63 In arminbiere/cadical;

· benjaminkiesl opened on Aug 25, 2023

Are user preferred literal phases ignored?

bug

Status: Open.

#56 In arminbiere/cadical;

· alexeyignatiev opened on Jun 3, 2023