fixed parsing of predicates
dealing with emp formulas
accept dll base case
undated indentation, fix case of emp formulas
fixed pb in shom_ls to pass sll0a tests
fixed bug with minisat on linux; added wellformedness check cond2
special case of dll for wf_2
fixed bug for emp
allow sat problems
better boolean abstract for normalization
fixed bug in transitivity of =
added GPLv3
updated banchmarks; added first (empty) version of general translation algorithm
general algo for pred definitions: build graph from matrix
samples/doall.sh: fix a problem with bash colours
noll_tree.h: add header file
noll_tree: add noll_tree_to_ta()
Makefile: add noll_tree
src/: change source code back to non-executable (please keep it like this)
noll_graph2ta: create a tree instead of a TA