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