HTTP/2 302 content-type: text/html; charset=utf-8 location: //fmv.jku.at/dualiza/ vary: Origin x-request-id: 01KEZF86W65DNA6KC5NY6ERNEF content-length: 44 date: Thu, 15 Jan 2026 00:00:27 GMT HTTP/2 200 accept-ranges: bytes cache-control: max-age=600 content-type: text/html; charset=utf-8 etag: "6eb996eab52cf1ece84e8bcdf0c9098455aa98f8d4214cdc612732cacd3708a8" expires: Thu, 15 Jan 2026 01:10:27 CET last-modified: Thu, 25 Sep 2025 14:38:37 GMT vary: Origin x-request-id: 01KEZF8729KEK5KM8G27PHJ8W0 content-length: 6350 date: Thu, 15 Jan 2026 00:00:27 GMT

TNF / INF FMV team contact software publications teaching jobs

[  source ] Dualiza This site provides access to the source code of our model counter dualiza and related programs to generate the benchmarks used in our ICTAI'18 paper. It can read simple boolean formulas in limboole syntax, CNF in DIMACS format as well as AIGs in AIGER. Sibylle Möhle, Armin Biere. Dualizing Projected Model Counting. To be published in Proc. 30th Intl. Conf. on Tools with Artificial Intelligence (ICTAI'18), 8 pages, IEEE Computer Society, 2018. [ paper | dualiza ] Source Code Latest version is available on GitHub as https://github.com/arminbiere/dualiza. [ dualiza-github-1.0.0-b641f50.tar.xz ] [ dualiza-00b-9e9f8e0.tar.xz | clause.sh | nrp.c ]