No description, website, or topics provided.
C++ Shell Python C
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
AUTHORS
ChangeLog
Makefile.am
NEWS
README
autogen.sh
bdd_tree.cc
bdd_tree.h
buddy.cc
common.mk
compass.thrift
configure.ac
dot_label_to_var.py
expression.c
expression.h
generate_norm_dag.sh
generate_thrift_automake.py
lexer.ll
norms.h
parser.y
prop_func.h
prop_logic.y
prop_logic_main.cc
proposition.cc
proposition.h
thrift.sh
wiki_main.cc
ylwrap

README

automake --version >= 1.13.4. This version is required for the correct copy of
ylwrap.