CNET format

Format used by BNS, a tool for the identification of synchronous attractors. Models are represented as a list of partial truth tables, similar to the Berkeley Logic Interchange Format.

.v 3
# component order:
# [A, B, D]

# A
.n 1 1 1
0 0
1 1

# B
.n 2 1 1
0 1
1 0

# D
.n 3 2 1 2
0- 0
10 0
11 1