Dualiza

This side provides access to the source code of our model counter dualiza and programs to generate the benchmarks used in our ICTAI'18 paper.

Source Code

[ dualiza-00b-9e9f8e0.tar.xz | clause.sh | nrp.c ]