Search results

Make sure that log encoding is not used by default in cspuz_rs_puzzles

Status: Open.

#110 In semiexp/cspuz_core;

· semiexp opened on Oct 2, 2025

show the puzzle board even if there is no answer

Status: Open.

#107 In semiexp/cspuz_core;

· semiexp opened on Sep 17, 2025

Add more ergonomic functions

Status: Open.

#75 In semiexp/cspuz_core;

· semiexp opened on Jun 16, 2025

Use more types of constraints in fuzzer

Status: Open.

#59 In semiexp/cspuz_core;

· semiexp opened on May 30, 2025

Check code coverage

Status: Open.

#51 In semiexp/cspuz_core;

· semiexp opened on May 22, 2025

Test efficiacy of <code>optimize_polarity</code>

Status: Open.

#50 In semiexp/cspuz_core;

· semiexp opened on May 22, 2025

Support more puzzle types

Status: Open.

#43 In semiexp/cspuz_core;

· semiexp opened on May 17, 2025

warning: creating a mutable reference to mutable static is discouraged

Status: Open.

#18 In semiexp/cspuz_core;

· semiexp opened on Feb 22, 2025

Add documents

Status: Open.

#4 In semiexp/cspuz_core;

· semiexp opened on Apr 3, 2023

Use CaDiCaL

Status: Open.

#2 In semiexp/cspuz_core;

· semiexp opened on Apr 3, 2023