Compatible triangulations

This is a preliminary version to test our conjectures on compatible triangulations, see our papers for more information. Currently the program can handle only fixed labels and is extremely time consuming (don't try too large examples, unless you have a lot of time and coffee ...).

We hope to come up with a more complete version, including fast heuristics, automatic labeling etc. very soon - stay tuned.

Meanwhile have fun! And let us know if you find counterexamples to our conjectures.