WSimply

Versions

• 23/04/2014: WSimply Beta Version 2.3.00 (Linux 32bits)
• 03/12/2013: WSimply Beta Version 2.2.00 (Linux 32bits)
• 16/09/2013: WSimply Beta Version 2.1.00 (Linux 32bits)
• 17/10/2012: WSimply Beta Version 2.0.00 (Linux 32bits)
• 26/06/2012: Simply Beta Version 1.2.01 (Linux 32bits)
• 21/05/2012: Simply Beta Version 1.2.00 (Linux 32bits)
• 08/03/2012: Simply Beta Version 1.1.00 (Linux 32bits)
• 11/07/2011: Simply Beta Version 1.0.00 (Linux 32bits)
• 01/08/2009: Simply Beta version 0.0.01

Install instructions (linux 32bit)

1. Unpack the .tar.gz file
2. Download and install the ANTLR C library (read its terms of use)
3. Download Yices 1.0.33 with GMP dynamically linked Yices 1 (read its terms of use) and add the path to the LD_LIBRARY_PATH
4. Add the current directory to the CLASSPATH environment variable
5. WSimply execution examples (simply for versions before 1.3.01):
   • CSP (satisfaction and optimization):
     • wsimply -i file.sly -d data_file -m
   • Weighted CSP:
     • WPM1: wsimply -i file.sly -d data_file -m -st pm1
     • Yices: wsimply -i file.sly -d data_file -m -st yices
     • Optimization: wsimply -i file.sly -d data_file -m -st dicotomic
     • Shared BDD: wsimply -i file.sly -d data_file -m -st sbdd
   • Pseudo Boolean:
     • PBO: wsimply -i file.sly -d data_file -pbo -log file.opb
     • WBO: wsimply -i file.sly -d data_file -wbo -log file.wbo
   • LP format (for Cplex):
     • PBO: wsimply -i file.sly -d data_file -cplex -log file.opb

License

License

Instances

• B2B
  
  • CP 2014 conference
    [WSimply] model and instances
    [MiniZinc] model and instancees
    Readme
  • CPAIOR 2015 conference
    [MiniZinc] instances
    Readme
• Celar
  [WSimply]
  [MiniZinc]
• Spot5
  [WSimply]
  [MiniZinc]
• Combinatorial Auction
  [WSimply]
  [MiniZinc]
• Still-life
  [WSimply]
  [MiniZinc]
• Talent Scheduling
  [WSimply]
  [MiniZinc]
• Soft-BACP
  [WSimply]
  [MiniZinc]
• NRP
  [WSimply]
• GPost (specific NRP instance)
  [Model file]

WSimply/Simply Documentation

• WSimply technical report (Updated April 24th 2014)
  [File]

• Boosting Weighted CSP Resolution with Shared BDDs
  Miquel Bofill, Miquel Palahí, Josep Suy, and Mateu Villaret
  In 12th International Workshop on Constraint Modelling and Reformulation (ModRef 2013)
  Co-located with the 19th International Conference on the Principles and Practice of Constraint Programming (CP 2013)
  Uppsala, Sweden, September 2013.
  [Paper]

• A Proposal for Solving Weighted CSPs with SMT
  Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, and Mateu Villaret
  In 10th International Workshop on Constraint Modelling and Reformulation (ModRef 2011)
  Co-located with the 17th International Conference on the Principles and Practice of Constraint Programming (CP 2011)
  Perugia, Italy, September 2011.
  [Paper]

• Miquel Palahi Master Thesis (catalan)
  [File]

• SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format
  Miquel Bofill, Miquel Palahí, Josep Suy, and Mateu Villaret
  In Procs. 8th International Workshop on Constraint Modelling and Reformulation (ModRef 2009)
  Co-located with the 15th International Conference on the Principles and Practice of Constraint Programming (CP 2009)
  Lisbon, Portugal, September 2009.
  [Paper]