CatSAT: A Practical, Embedded, SAT Language for Runtime PCG
Authors:
- Ian Horswill
Date Archived:
13 November 2018
Accompanying Paper:
CatSAT: A Practical, Embedded, SAT Language for Runtime PCG
Artifact URL:
http://aiide.org/artifacts/files/catsat.zip
Alternative URL:
https://github.com/ianhorswill/CatSAT
Description:
CatSAT is a declarative language embedded in C# that makes it easy to write simple procedural content generators for games, such as character generators, enemies, etc. Being declarative means you tell it the space of possibilities for the generated objects, along with whatever constraints (requirements) you want to apply to them, and the system will automatically find random instances that satisfy the constraints without you having to write a specialized generator algorithm.
How to Cite This Artifact
The examples below show how to cite this page, but when referring to this work, many authors will prefer that you cite the accompanying paper linked above.
AAAI Style
and Horswill, I. 2018. CatSAT: A Practical, Embedded, SAT Language for Runtime PCG. http://aiide.org/artifacts/catsat. Accessed 14 November 2024.
IEEE Style
and I. Horswill, "CatSAT: A Practical, Embedded, SAT Language for Runtime PCG," 2018. [Online]. Available: http://aiide.org/artifacts/catsat. [Accessed Nov 14, 2024].
BiBTeX Entry
@misc{catsat, author={Horswill, Ian}, title={CatSAT: A Practical, Embedded, SAT Language for Runtime PCG}, howpublished={\url{http://aiide.org/artifacts/catsat}}, year={2018}, note={Accessed 14 November 2024} }