write_xaiger to preserve POs even if driven by constant
-rw-r--r-- 267 .clang-format
-rw-r--r-- 114 .editorconfig
drwxr-xr-x - .github
-rw-r--r-- 591 .gitignore
-rw-r--r-- 3821 .travis.yml
drwxr-xr-x - .travis
-rw-r--r-- 111 Brewfile
-rw-r--r-- 25448 CHANGELOG
-rw-r--r-- 762 COPYING
-rw-r--r-- 3195 CodeOfConduct
-rw-r--r-- 14823 CodingReadme
-rw-r--r-- 31654 Makefile
-rw-r--r-- 19920 README.md
drwxr-xr-x - backends
drwxr-xr-x - examples
drwxr-xr-x - frontends
drwxr-xr-x - kernel
drwxr-xr-x - libs
drwxr-xr-x - manual
drwxr-xr-x - misc
drwxr-xr-x - passes
drwxr-xr-x - techlibs
drwxr-xr-x - tests