vein.git - VEIN: VErification via Interaction Nets

about summary refs log tree commit diff

Mode	Name	Size
-rw-r--r--	nn.in	3039	log plain blame
-rw-r--r--	parser.py	1496	log plain blame
-rw-r--r--	test.smt2	208	log plain blame