Horswill I. CatSAT: A Practical, Embedded, SAT Language for Runtime PCG. AIIDE [Internet]. 2018Sep.25 [cited 2024Jul.22];14(1):38-44. Available from: https://ojs.aaai.org/index.php/AIIDE/article/view/13026