The bliss C++ API
0.77 (Debian 0.77-3)
BacktrackPoint :
bliss::Partition
Generated by
1.9.4