Index of /home/jmitesh/dissertation/bat-executables

	Name	Last modified	Size	Description
	Parent Directory		-
	aigtoaig	2018-02-04 16:11	52K
	bat2aig	2018-02-04 16:12	47M
	bat2cnf	2018-02-04 16:11	47M
	cnf2aig	2018-02-04 16:11	70K