summaryrefslogtreecommitdiff
path: root/99_idp_main.txt
blob: 9dee3df3ef0012eeeda4b01de7137e050b738bd9 (plain) 
1
2
3
4

procedure main(){
	printmodels(allmodels(T,S,Vout))
}