Search results

When SATWITHPRE and -cjc=1 error message: JSON ERROR: [json.exception.type_error.302] type must be string

Status: Open.

#28 In domschrei/mallob;

· vsigal opened on Jan 19, 2026

Please add latest solver kissat ver 4.0.4.

Status: Open.

#25 In domschrei/mallob;

· vsigal opened on Jan 3, 2026

Incident response procedure

Status: Open.

#23 In domschrei/mallob;

· GarrettRobinsondjwkqhrm497 opened on Oct 6, 2025

Test # 11 fails

Status: Open.

#22 In domschrei/mallob;

· olegzaikin opened on Apr 30, 2025

Inquiry About Using Mallob for Cryptanalysis

Status: Open.

#21 In domschrei/mallob;

· NeuralDistinguisher opened on Dec 18, 2024

README: fetch_and_build_sat_solvers.sh => fetch_and_build_solvers.sh

Status: Open.

#19 In domschrei/mallob;

· jwaldmann opened on May 22, 2024

multiple solutions

Status: Open.

#18 In domschrei/mallob;

· na3na3na opened on Feb 5, 2024

Add deb package

Status: Open.

#9 In domschrei/mallob;

· marino-mrc opened on Aug 5, 2022

Building Docker

Status: Open.

#5 In domschrei/mallob;

· bratelefant opened on Aug 1, 2021