innmind/deja

[Baptouuuu]

Alloy is a formidable tool but its syntax is hard to learn. It may be interesting to have a PHP API more understandable for a human.

This API could produce an Alloy file or even produce a proof to be run by innmind/black-box. Having a proof would allow to constantly run it in a CI to try to find a invalid scenario (as far as I know Alloy doesn't allow to be run in a CI).

[Baptouuuu]

Some inspiration:

• https://medium.com/@markgritter/finding-graph-counterexamples-with-alloy-e4114cc0f2fb
• https://en.wikipedia.org/wiki/Skolem_normal_form