On: Find Legal Moves in Brass Birmingham with Datalog

[monlockandkey]

Is there an equivalent Python library to model these rules?

[Qem → monlockandkey]

https://pypi.org/project/pyDatalog/

[efferifick → monlockandkey]

I recommend `egglog` which is Datalog + Equality Saturation. It has python bindings and has allowed me to optimize programs in a custom programming language.

https://egg-smol-python.readthedocs.io/en/latest/

[gieksosz → monlockandkey]

you can try this: https://github.com/yuce/pyswip