Enfragmo

Association:

Simon Fraser University, Computational Logic Laboratory

Description:

The modelling language is based on model expansion for FO extended with arithmetic and aggregate operations. Solving is by grounding to SAT. The grounding algorithm uses a generalization of the relational algebra. For more information see www.cs.sfu.ca/research/groups/mxp/.

Participants:

• Amir Aavani
• David Mitchell
• Lucas Swanson
• Shahab Tasharrofi
• Eugenia Ternovska
• Newman Wu