S

solver

RoundingSat: the pseudo-Boolean solver powered by proof complexity!

We usead an LU decomposition of matrix A to calculate various things. Developed in C++. You can test it by following the instructions on the readme.txt. You must use the format shown in the M00.dat example file.

Trust region solver for small dense problems