My public programs and models - mostly combinatorial problems and puzzles
Prolog Python Java HTML C++ AMPL Other
Switch branches/tags
Nothing to show
Clone or download
Latest commit 2b224ac Apr 15, 2018
Permalink
Failed to load latest commit information.
aimms Added index.html, some other .html, and .sh. Aug 7, 2013
ampl AMPL: some updates Jan 6, 2015
answer_set_programming ASP: Ported Gringo 3 encodings to Gringo 4 (ASP-2). Added coins_of_th… May 9, 2014
apl Apl: updates Jun 4, 2016
bprolog B-Prolog: updates Jul 31, 2017
choco3 Choco3: AllDifferentExcept0.java Dec 23, 2013
comet Comet: updates Jul 31, 2017
common_cp_models Common constraint models Mar 27, 2018
eclipse_clp ECLiPSe CLP: Updates Jul 31, 2017
essence_savile_row Essence'/Savile Row: New models: place_number_puzzle.eprime secret_sa… Jan 21, 2014
essence_tailor Added Essence/Tailor and Essence/Savile Row. Aug 7, 2013
eureqa Added Eureqa/Formulize. Aug 7, 2013
frink Frink: updates Jul 31, 2017
gecode Gecode: fixed building_a_house.cpp Jan 8, 2016
gecode_r Added index.html, some other .html, and .sh. Aug 7, 2013
google_or_tools or-tools: Changed email address Feb 19, 2018
j Added J. Aug 7, 2013
jacop Added index.html, some other .html, and .sh. Aug 7, 2013
java Java: new files Jul 12, 2017
jgap JGAP: updates Jun 4, 2016
jsr_331 Added index.html, some other .html, and .sh. Aug 7, 2013
k K: some more links Jan 6, 2015
mathematica New/modified Mathematica programs Nov 29, 2015
minizinc MiniZinc Mar 27, 2018
numberjack Numberjack: updates Jul 31, 2017
oocalc_excel Added oocalc_excel. Aug 7, 2013
oscar OscaR: changed models Feb 9, 2014
pddl Added PDDL. Aug 7, 2013
perl6 Added Perl6. Aug 7, 2013
picat Picat Apr 15, 2018
poplog Poplog/Pop-11: new Jul 12, 2017
project_euler Project Euler: update Jul 20, 2017
python Python: update Jul 20, 2017
sabr Added SABR. Aug 7, 2013
setlx SETL/SetlX: Updates Jul 31, 2017
sicstus SICStus Prolog Apr 7, 2018
unicon Unicon: new and updates Jul 12, 2017
weka Weka: updates Jun 4, 2016
z3 z3 Mar 27, 2018
README.md Updated README.md for z3 Feb 10, 2018

README.md

hakank

Here I will place my public programs and models. Most are available as individual files at different pages of http://www.hakank.org/

Here's a summary of the directories so far:

  • aimms: AIMMS system, linear/integer programming and constraint programming
  • ampl: AMPL: integer/linear programming and constraint programming
  • answer_set_programming: Answer Set Programming
  • apl: APL (note: index.html contains codes etc)
  • bprolog: B-Prolog, logic programming, constraint programming, tabling, loops etc
  • choco3: Choco v3, constraint programming
  • comet: Comet, constraint programming, linear/integer programming, constraint-based local search
  • common_cp_models: Listing of common CP problems (just index.html with statistics and links to the models)
  • eclipse_clp: ECLiPSe CLP, Prolog, logic programming, constraint programming, loops etc
  • essence_savile_row: Essence'/Saville Row, constraint programming
  • essence_tailor: Essence'/Tailor, constraint programming
  • eureqa: Eureqa/Formulize, genetic programming
  • frink: Frink, high level programming language
  • gecode: Gecode, constraint programming
  • gecode_r: Gecode/R, Ruby interface to Gecode
  • google_or_tools: Google or-tools, constraint programming, integer/linear programming, Java, Python, and C#
  • j: J array programming language J (note: index.html contains code etc)
  • jacop: JaCoP and JaCoP/Scala, constraint programming
  • jgap: JGAP, genetic programming
  • jsr_331: JSR-331, Java API for constraint programming
  • k: K, array programming language (note: index.html contains code etc)
  • mathematica: Mathematica, mathematical programming
  • minizinc: MiniZinc, constraint programming. Also G12 Zinc files.
  • numberjack: Numberjack, constraint programming
  • oocalc_excel: oocalc/Excel, some few linear/integer programming models
  • oscar: OscaR, constraint programming
  • pddl: PDDL (planning language)
  • perl6: Perl6 programming language
  • picat: PICAT, constraint programming, logic programming, loops, tabling, etc
  • poplog: Poplog Pop-11 high-level programming language
  • sabr: SABR, constraint-based planning language
  • setlx: SETL and SetlX, high level programming language
  • sicstus: SICStus Prolog, constraint programming, logic programming, loops. etc
  • unicon: Unicon/Icon, high level programming language
  • weka: Weka, data mining/machine learning, Java files, HTML, and data files (ARFF and CSV)
  • z3: Z3/Z3Py theorem prover / SMT solver

I'll try to keep this repository as updated as possible.

Hakan Kjellerstrand (a.k.a. hakank) hakank@gmail.com