summaryrefslogtreecommitdiffstats
path: root/src/misc/mvc
Commit message (Expand)AuthorAgeFilesLines
* Extending cube representation to handle SOPs with many cubes.Alan Mishchenko2013-05-121-5/+5
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-271-2/+1
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-1/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-4/+3
* initial commit of public abcAlan Mishchenko2010-11-0117-1/+89
* Version abc90215Alan Mishchenko2009-02-157-16/+16
* Version abc80702Alan Mishchenko2008-07-021-1/+2
* Version abc80130_2Alan Mishchenko2008-01-3017-27/+26
* Version abc80130Alan Mishchenko2008-01-3017-26/+27
* Version abc71001Alan Mishchenko2007-10-0118-0/+4848
* Version abc70930Alan Mishchenko2007-09-3018-4848/+0
* Version abc70110Alan Mishchenko2007-01-101-4/+4
* Version abc60611Alan Mishchenko2006-06-111-1/+1
* Version abc60303Alan Mishchenko2006-03-031-2/+2
* Version abc60220Alan Mishchenko2006-02-201-2/+1
* Version abc51012Alan Mishchenko2005-10-1217-18/+18
* Version abc50904Alan Mishchenko2005-09-0418-0/+4849