summaryrefslogtreecommitdiffstats
path: root/src/misc/extra/extraBdd.h
Commit message (Expand)AuthorAgeFilesLines
* Procedure to dump ZDD representing a set of cubes into a PLA file.Alan Mishchenko2015-04-101-0/+1
* Changing semantics of switch -C in 'sop' to limit cubes at one node.Alan Mishchenko2015-02-181-1/+1
* Adding resource limit to 'sop'.Alan Mishchenko2015-02-101-0/+1
* Replacing 'st_table' by 'st__table' to resolve linker problems.Alan Mishchenko2012-09-291-1/+1
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-3/+3
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+0
* Major restructuring of the code.Alan Mishchenko2012-01-211-0/+316