Search results

Inconsistent gnf format exported by python bindings

Status: Open.

#40 In sambayless/monosat;

· winddd opened on Jul 30, 2025

Incorrect <code>buildReason</code> leads to "Critical error: bad learnt clause."

Status: Open.

#38 In sambayless/monosat;

· lucidliy opened on Sep 25, 2024

Use of <code>_FPU_EXTENDED</code>/<code>_FPU_DOUBLE</code> is x86/x87-specific

Status: Open.

#33 In sambayless/monosat;

· risicle opened on Nov 14, 2021

Integration with Z3?

Status: Open.

#28 In sambayless/monosat;

· jeremysalwen opened on Oct 30, 2020

Connection to datalog?

question

Status: Open.

#15 In sambayless/monosat;

· copumpkin opened on Jul 9, 2018

PyPI package?

enhancement

Status: Open.

#6 In sambayless/monosat;

· kasbah opened on Dec 13, 2017