Commit 294da866 authored by Christian Müller's avatar Christian Müller

ignore z3

parent f340a8e3
......@@ -31,6 +31,10 @@ build
results/*.ltl
results/*.ppltl
results/*.foltl
results/*.png
# aalta
cnf.dimacs
# Z3
lib/com.microsoft.z3.jar
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment