Aquileo | Recent changes to wiki

Aquileo | Discussion for Home page

2016-04-04T19:42:22.293000Z

Migrate from http://www6.in.tum.de/~chengch/gavs/ to sourceforge
Change the compact file game encoding scheme. Originally that the BDD encoding is not optimized. If one reads a textural format, then the encoding is first by all PRE_VARIABLES, followed by all POST_VARIABLES. This makes the solver very slow in larger examples (the correct way should be PRE_1 POST_1 PRE_2 POST_2). However, the ordering is optimized in other synthesis tools I developed. Also, it might take a bit time, as every time it triggers the solver, it assigns a lot memory.

2016-04-04T17:58:13.083000Z

Migration from http://www6.in.tum.de/~chengch/gavs/ to sourceforge.
For game solving from textual format, enable efficient encoding for safety, reachability, and Büchi winning condition. Originally, if one reads a textural format, then the encoding is first by all PRE_VARIABLES, followed by all POST_VARIABLES. This makes the solver very slow in larger examples (the correct way should be PRE_1 POST_1 PRE_2 POST_2, i.e., to alternate the bits).

2016-04-04T17:50:07.078000Z

Welcome to your wiki!

This is the default page, edit it as you see fit. To add a new page simply reference it within brackets, e.g.: [SamplePage].

The wiki uses Markdown syntax.