COPYING file for distribution
[anf2cnf:anf2cnf.git] / libanf2cnf.h
2011-09-27 Luk Bettaleunsigned and const wherever possible. Added function...
2011-05-27 Luk Bettaleanf2cnf function chosen in preprocess time, no useless...
2011-01-07 Mate SoosMore helper functions in libanf2cnf
2011-01-06 Mate SoosAdding helper functions
2011-01-06 Luk BettaleMerge branch 'master' of
2011-01-06 Mate SoosMerge branch 'master' into HEAD
2011-01-06 Mate SoosRemove dangling spaces
2010-10-26 Luk Bettaleadded propagate to only propagate at anf level and...
2010-10-21 Luk Bettaleprinting functions renamed and separated
2010-10-20 Luk Bettaleadded :
2010-10-14 Luk BettaleMerge branch 'linkedlist'
2010-10-14 Luk Bettaleadded ifdef in headers + licence in libdatastruct....
2010-10-14 Luk Bettalereformatting source code, removing chronoanf2cnf
2010-10-11 Luk Bettalearray version, linked list version and hashmap version...
2010-09-29 Luk Bettalelitteral -> literal
2010-09-23 Luk Bettalefirst commit of anf2cnf in C