About ManyWorlds

ManyWorlds is a combinatorial programming language with a simple syntax that is a dialect of FO(.). At its core, ManyWorlds is a simplified but more efficient re-implementation of IDP-Z3 using Exact as a powerful backend solver.

As a combinatorial programming language, ManyWorlds is a pure declarative language sharing similarity with constraint programming, integer programming, answer set programming, logic programming and functional programming. The philosophy behind the language is that of knowledge base systems: a user should describe what the problem domain consists of by declaring function symbols and specifying constraints, and the system should perform different reasoning tasks without requiring user input on how to do this.