CatSAT | A simple , ASP-like embedded logic programming language

CatSAT is a C# library. CatSAT has no bugs, it has no vulnerabilities and it has low support. You can download it from GitHub.

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.