Search results

Uncovered issues in smlp_flows.py and smlp_verify.py

Status: Open.

#155 In SMLP-Systems/smlp;

· mdmitry1 opened on Jun 3, 2026

Consider removing smlp_verify.py in favor of unified smlp_query functionality

Status: Open.

#154 In SMLP-Systems/smlp;

· zurabksmlp opened on Jun 3, 2026

Test123 outputs unnecessary file with unstable content

minor issueLow priority bugLow priority bug

Status: Open.

#153 In SMLP-Systems/smlp;

· mdmitry1 opened on Jun 2, 2026

Crashing tests in 1.2.0 release

Status: Open.

#149 In SMLP-Systems/smlp;

· mdmitry1 opened on May 30, 2026

Output files of certain regression tests missing in regr_smlp/master directory

Status: Open.

#148 In SMLP-Systems/smlp;

· fbrausse opened on May 29, 2026

Missing input files for some regression tests

Status: Open.

#147 In SMLP-Systems/smlp;

· fbrausse opened on May 29, 2026

Ubuntu 26.04 support

enhancementNew feature or requestNew feature or request

Status: Open.

#146 In SMLP-Systems/smlp;

· mdmitry1 opened on May 28, 2026

potential performance or functional bug in eager optimization startegy

Status: Open.

#145 In SMLP-Systems/smlp;

· zurabksmlp opened on May 21, 2026

Quickstart fallout

Status: Open.

#113 In SMLP-Systems/smlp;

· fbrausse opened on Apr 25, 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

merge MacOS branch (wheels)

Status: Open.

#97 In SMLP-Systems/smlp;

· konstantin-korovin opened on Apr 1, 2026