# solvertools

A bunch of tools to integrate a solver with ctfcli