welcome: please sign in
location: Diff for "Participants\Enfragmo"
Differences between revisions 3 and 4
⇤ ← Revision 3 as of 2013-05-28 21:24:46 →
Size: 2419
Editor: FrancescoCalimeri
Comment:
← Revision 4 as of 2013-05-28 21:28:26 → ⇥
Size: 2419
Editor: FrancescoCalimeri
Comment:
Deletions are marked like this. Additions are marked like this.
Line 65: Line 65:
 * Aavani A. et al. ''Enfragmo: A System for Modelling and Solving Search Problems with Logic'', Proc., 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18), Springer LNCS 7180.  * Aavani A. et al. ''Enfragmo: A System for Modelling and Solving Search Problems with Logic'', Proc., 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'12), Springer LNCS 7180.

Enfragmo

Team

  • Amir Aavani (Simon Fraser University)
  • Shahab Tasharrofi (Simon Fraser University)
  • Alireza Ensan (Simon Fraser University)
  • Rui Ge (Simon Fraser University)
  • Eugenia Ternoska (Simon Fraser University)
  • David Mitchell (Simon Fraser University)

Description

Enfragmo is a grounding-based solver. The problem specification language is multi-sorted first order logic extended arithmetic and aggregate operators. Given a problem specification and a problem instance, it produces a propositional CNF formula representing the solutions to the instance, and passes this to a SAT solver. The SAT solver choice is a command-line parameter, which can be set to compiled-in versions of MiniSAT or MXG, or any external solver.

System Settings

Internal version of Enfragmo: 4432

Command-line parameters and their default values:

The following are the settings of parameters for each domain where default settings were not used.

Stable-Marriage

GracefulGraphs

Weighted-Sequence/Run.sh

Bottle-Filling

Permutation-Pattern-Matching

References

  • System URL: http://www.cs.sfu.ca/research/groups/mxp/

  • Participant URL.

  • Aavani A. et al. Enfragmo: A System for Modelling and Solving Search Problems with Logic, Proc., 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'12), Springer LNCS 7180.

Fifth Answer Set Programming Competition (ASPCOMP 2014): Participants\Enfragmo (last edited 2013-05-31 13:32:12 by FrancescoCalimeri)