Search results

Solver Adaptors Documentation

Status: Open.

#1404 In conjure-cp/conjure-oxide;

· JamieASM opened on Dec 21, 2025

Add missing wiki docs

Status: Open.

#1402 In conjure-cp/conjure-oxide;

· JamieASM opened on Dec 21, 2025

Write docs about Running and writing integration tests

Status: Open.

#1401 In conjure-cp/conjure-oxide;

· HKhan-5 opened on Dec 20, 2025

Create documentation for language server and client.

Status: Open.

#1394 In conjure-cp/conjure-oxide;

· EEJDempster opened on Dec 19, 2025

Diagnostics API

Status: Open.

#1387 In conjure-cp/conjure-oxide;

· a-nosnitram opened on Dec 18, 2025

Integration tests: check for dangling references

good first issueGood for newcomersGood for newcomers

kind::testingTesting and CorrectnessTesting and Correctness

Status: Open.

#1386 In conjure-cp/conjure-oxide;

· lixitrixi opened on Dec 17, 2025

Write docs for tree-sitter grammar and parser crate

Status: Open.

#1383 In conjure-cp/conjure-oxide;

· leiamcalisteryoung opened on Dec 15, 2025

Write docs about flatten

Status: Open.

#1379 In conjure-cp/conjure-oxide;

· EdwardTheLegend opened on Dec 14, 2025

Implement solver timeout for Minion and SAT

Status: Open.

#1378 In conjure-cp/conjure-oxide;

· lixitrixi opened on Dec 11, 2025

Treemorph: zipper-based arbitrary transformation side-effect

Status: Open.

#1374 In conjure-cp/conjure-oxide;

· lixitrixi opened on Dec 6, 2025

Sum problem panics with optimised rewriter

Status: Open.

#1365 In conjure-cp/conjure-oxide;

· lixitrixi opened on Dec 4, 2025

Native parser test cases

Status: Open.

#1359 In conjure-cp/conjure-oxide;

· chococara-exe opened on Dec 3, 2025