https://codingnest.com [email protected]
I am a SWE at Pex and I maintain Catch2.
Martin Hořeňovský
An example of C++ Sudoku solver using MiniSat library.
horenmar