[Cryptominisat-devel] Can cryptominisat be compiled as library ?

Martin Maurer capiman26061973 at gmx.de
Dim 2 Jan 12:37:53 CET 2011

Hello Mate et all,

i think i read somewhere that i build a library of cryptominisat.

Which files do i need (or is it enough to just leave out Main.cpp) ?
Is there a description of an cryptominisat (library) API ?

Best regards,

-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.gforge.inria.fr/pipermail/cryptominisat-devel/attachments/20110102/d3ec4754/attachment.htm>

More information about the Cryptominisat-devel mailing list