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

	Name	Last modified	Size	Description
	Parent Directory		-
	cnf2aig	2015-02-09 10:10	70K
	bat2cnf	2015-02-09 10:10	47M
	bat2aig	2015-02-09 10:10	47M
	aigtoaig	2015-02-09 10:10	52K