Reference manual

It appears you don't have a PDF plugin for this browser. You can click here to download the reference manual.


2.1.7 by Hans A. Kestler, 3 months ago

Browse source code at

Authors: Christoph Müssel [aut] , Martin Hopfensitz [aut] , Dao Zhou [aut] , Hans A. Kestler [aut, cre] , Armin Biere [ctb] (contributed PicoSAT code) , Troy D. Hanson [ctb] (contributed uthash macros)

Documentation:   PDF Manual  

Artistic-2.0 license

Imports igraph, XML

Imported by diffeRenTES.

Depended on by BoolFilter.

See at CRAN