Search results

Handle SIGTERM to shutdown gracefully

enhancementNew feature or requestNew feature or request

Status: Open.

#187 In msakai/toysolver;

· msakai opened on May 4, 2025

Fix MaxSATRegressionSuite failure

Status: Open.

#182 In msakai/toysolver;

· msakai opened on Apr 29, 2025

Change SAT.Model type to data or newtype instead of raw array

Status: Open.

#181 In msakai/toysolver;

· msakai opened on Apr 29, 2025

Support UTM format of ABS QUBO Solver ?

enhancementNew feature or requestNew feature or request

Status: Open.

#179 In msakai/toysolver;

· msakai opened on Apr 28, 2025

Support QPLIB format

enhancementNew feature or requestNew feature or request

Status: Open.

#178 In msakai/toysolver;

· msakai opened on Apr 28, 2025

Incorrect output from MIPSolverHL

Status: Open.

#5 In msakai/toysolver;

· jmcarthur opened on Apr 14, 2014

Real-closed field solver

Status: Open.

#4 In msakai/toysolver;

· copumpkin opened on Apr 11, 2013