Repository navigation

Fix shared cnf in withTemps under the new compiler - #43

Open

katjabercic wants to merge 2 commits into

FormalSAT:devfrom

katjabercic:fix-withtemps-shared-cnf

Open

Fix shared cnf in withTemps under the new compiler#43
katjabercic wants to merge 2 commits into
FormalSAT:devfrom
katjabercic:fix-withtemps-shared-cnf

Commits on Aug 3, 2026
- Fix Clause.map call after signature change
  katjabercic
  committed
  8e4d42d
- Fix shared cnf in withTemps under the new compiler
  katjabercic
  committed
  478c43c