AIIDE Artifact Archive

CatSAT: A Practical, Embedded, SAT Language for Runtime PCG

Authors:
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 10 December 2023.
IEEE Style
and I. Horswill, "CatSAT: A Practical, Embedded, SAT Language for Runtime PCG," 2018. [Online]. Available: http://aiide.org/artifacts/catsat. [Accessed Dec 10, 2023].
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 10 December 2023}
}