WickedXmas\C
..........\.\datastructures.c
..........\.\formula.c
..........\.\interface_to_SMT.c
..........\.\invariantgen
..........\.\............\Formula.hs
..........\.\............\genLP.c
..........\.\............\InvToInv.hs
..........\.\............\queueInvariantsSimplifier.exe
..........\.\............\queueInvariantsSimplifier.hs
..........\.\............\ToSMT.hs
..........\.\liveness_propagation.c
..........\.\main.c
..........\.\parse_invariants.c
..........\.\paths.c
..........\.\simulation.c
..........\.\xmasnetwork
..........\.\Z3
..........\.\..\bin
..........\.\..\...\libz3.dll
..........\.\..\...\Microsoft.Z3.dll
..........\.\..\...\msvcp100.dll
..........\.\..\...\msvcr100.dll
..........\.\..\...\vcomp100.dll
..........\.\..\...\z3.exe
..........\.\..\...\z3.pyc
..........\.\..\...\z3consts.pyc
..........\.\..\...\z3core.pyc
..........\.\..\...\z3printer.pyc
..........\.\..\...\z3test.pyc
..........\.\..\...\z3types.pyc
..........\.\..\include
..........\.\..\.......\z3.h
..........\.\..\.......\z3_api.h
..........\.\..\.......\z3_macros.h
..........\.\..\.......\z3_v1.h
..........\.\..\.......\z3++.h
..........\.\..\LICENSE.txt
..........\jsonToC.bat
..........\jsonToC.js
..........\LICENSE
..........\Newtonsoft.Json.dll
..........\phantomjs.exe
..........\README
..........\THIRD-PARTY
..........\WiCKedXmas.exe