Säuberlich, Richard (9aa5a4a2) at 20 Jan 13:01
Updated dependencies
Säuberlich, Richard (f514b24d) at 16 Jun 15:07
Added som documentation
Säuberlich, Richard (597ad4d5) at 16 Jun 12:42
BugFix for non hierarchical visualization
Säuberlich, Richard (5529be58) at 16 Jun 11:50
Added Subgraph builder
Säuberlich, Richard (f3361392) at 14 Jun 11:56
Bugfix for graph representation
Säuberlich, Richard (94724736) at 14 Jun 10:11
Refactored abstract graph and gradle file
Säuberlich, Richard (b69c0a66) at 12 Jun 18:09
Finished converter & added some test data.
Säuberlich, Richard (61f1dcbd) at 12 Jun 10:28
New structure for building an AIG
Säuberlich, Richard (42c445a3) at 09 Jun 18:25
Implemented AIG-to-AIG converter for Java
Säuberlich, Richard (592b3478) at 04 Jun 14:02
Update v.0.2.1
Säuberlich, Richard (c35c3cdc) at 03 Jun 04:57
Update v.0.2.0
Säuberlich, Richard (1e2b0696) at 18 May 12:38
Project SetUp
Säuberlich, Richard (2cf1697a) at 18 May 11:29
Initial commit