Search results

New release

Status: Open.

#106 In SMLP-Systems/smlp;

· fbrausse opened on Apr 7, 2026

Rename cmd-line option -solver_path

enhancementNew feature or requestNew feature or request

Status: Open.

#101 In SMLP-Systems/smlp;

· fbrausse opened on Apr 2, 2026

Z3 stuck on toy regression tests where mathsat runs OK

Status: Open.

#99 In SMLP-Systems/smlp;

· zurabksmlp opened on Apr 1, 2026

Remove redundant switches used in run_constraint_dora_poly example

Status: Open.

#98 In SMLP-Systems/smlp;

· mdmitry1 opened on Apr 1, 2026

merge MacOS branch (wheels)

Status: Open.

#97 In SMLP-Systems/smlp;

· konstantin-korovin opened on Apr 1, 2026

Installation instructions for Ubuntu-24.04

Status: Open.

#91 In SMLP-Systems/smlp;

· fbrausse opened on Mar 29, 2026

Tests 154,155 and 157 are stuck

Status: Open.

#87 In SMLP-Systems/smlp;

· mdmitry1 opened on Mar 29, 2026

src directory and wheel package restructuring

Status: Open.

#77 In SMLP-Systems/smlp;

· fbrausse opened on Mar 27, 2026

Building wheel locally on Linux

Status: Open.

#73 In SMLP-Systems/smlp;

· fbrausse opened on Mar 24, 2026

MacOS smlp_regr.py errors

bugSomething isn't workingSomething isn't working

Status: Open.

#70 In SMLP-Systems/smlp;

· konstantin-korovin opened on Mar 21, 2026

macos: Use @rpath for libraries bundled in wheel

Status: Open.

#67 In SMLP-Systems/smlp;

· fbrausse opened on Mar 20, 2026

Regression test: keras deserialization error: 'keras.metrics.mse'

Status: Open.

#65 In SMLP-Systems/smlp;

· fbrausse opened on Mar 19, 2026