Ioannis Filippidis

For now, I support exposing the `max_iter` value as a keyword argument. It is not necessarily the best design, but until the best design is found, it would be practical....

What changes would need to be made to the random number generator?

Similar idea to [`lambdify`](http://docs.sympy.org/latest/modules/utilities/lambdify.html).

Indeed, synthesis is the construction of an implementation that satisfies a given temporal logic specification. The specification usually includes liveness formulas, and these formulas may be in GR(1) form (generalized...

Yes, this is a high-level description of the synthesis problem. Binary decision diargams (BDDs) are one way to represent the problem (also called symbolic). Yes, an equivalent approach with an...

A design that I have used is with `--max_memory` an argument that takes a number in GB, and this number, after being converted to bytes, is fed to `Cudd_SetMaxMemory`. There...

About past LTL, please refer to the literature cited in the docstring of the module `omega.logic.past`: https://github.com/tulip-control/omega/blob/v0.3.1/omega/logic/past.py#L4-L27 A usage example of this module is the function `openpromela.logic.map_to_future`: https://github.com/johnyf/openpromela/blob/8a74b37b2b481cb9b1914fd9b2b4b38bb8162a73/openpromela/logic.py#L2272 (requires a...

This is correct provided that the translated formula `a S b` occur within the scope of the temporal existential quantifier. Stutter-invariant temporal existential quantification in the temporal logic of actions,...

`BibDatabase` is fragile to modification of `entries`. For example: ``` python import bibtexparser db = bibtexparser.bibdatabase.BibDatabase() db.entries = [{'ID': 'foo', 'title': 'Foo'}, {'ID': 'foo', 'title': 'Hehe'}] db.entries >>> [{'ID': 'foo',...

Possibly relevant: - https://github.com/nornagon/git-rebase-all - https://github.com/goncalopp/git-utilities