Search results

Installer for macos

Status: Open.

#39 In conjure-cp/conjure-notebook;

· mocher72 opened on Dec 1, 2023

Error when using z3-bv

Status: Open.

#19 In conjure-cp/conjure-notebook;

· sasha704 opened on Feb 7, 2023

Error when using yices-bv

Status: Open.

#18 In conjure-cp/conjure-notebook;

· sasha704 opened on Feb 7, 2023

Minisat solver not found when choosing in settings

Status: Open.

#16 In conjure-cp/conjure-notebook;

· sasha704 opened on Feb 7, 2023

Error when running through labelled connected graphs tutorial

Status: Open.

#15 In conjure-cp/conjure-notebook;

· sasha704 opened on Feb 7, 2023