https://github.com/hakank/hakank
My public programs and models - mostly combinatorial problems and puzzles
https://github.com/hakank/hakank
ampl answer-set-programming choco comet constraint-programming constraint-satisfaction eclipse-clp essence frink gecode jacop jgap minizinc numberjack picat poplog prolog setl sicstus-prolog z3py
Last synced: about 1 month ago
JSON representation
My public programs and models - mostly combinatorial problems and puzzles
- Host: GitHub
- URL: https://github.com/hakank/hakank
- Owner: hakank
- License: mit
- Created: 2013-08-06T20:12:10.000Z (almost 12 years ago)
- Default Branch: master
- Last Pushed: 2024-09-26T17:42:21.000Z (8 months ago)
- Last Synced: 2024-10-17T23:44:21.564Z (7 months ago)
- Topics: ampl, answer-set-programming, choco, comet, constraint-programming, constraint-satisfaction, eclipse-clp, essence, frink, gecode, jacop, jgap, minizinc, numberjack, picat, poplog, prolog, setl, sicstus-prolog, z3py
- Language: JavaScript
- Homepage:
- Size: 61.1 MB
- Stars: 366
- Watchers: 45
- Forks: 76
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
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)
* blog_ppl: BLOG, probabilistic programming language
* 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)
* cpmpy: CPMPy: Constraint modelling system in Python. Supports OR-Tools CP-SAT and PySAT solvers.
* curry: Curry functional logic programming language with (some) support for Constraint Logic Programming
* eclipse_clp: ECLiPSe CLP, Prolog, logic programming, constraint programming, loops etc
* elixir: Elixir is a functional programming language, based on Erlang
* 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#
* haskell: Haskell functional programming language
* j: J array programming language J (note: index.html contains code etc)
* jacop: JaCoP and JaCoP/Scala, constraint programming
* java: Java programs (mostly Project Euler)
* javascript: JavaScript programs
* jgap: JGAP, genetic programming
* jsr_331: JSR-331, Java API for constraint programming
* julia: Julia programming language (General Julia programming)
* julia/constraints: Julia ConstraintSolver.jl models (Constraint Programming)
* julia/turing: Julia Turing.jl models (Probabilistic Programming)
* k: K, array programming language (note: index.html contains code etc)
* kattis: Some of my entries for the Kattis competitive programming problems. Mostly in SWI-Prolog, but also in Python and Ruby.
* 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
* popper: Popper, Inductive Logic Programming (ILP) system
* project_euler: Project Euler
* psi_ppl: PSI, probabilistic programming language
* python: Python programs (Project Euler)
* racket: Racket is a functional/multiparadigm programming language in the Lisp family
* sabr: SABR, constraint-based planning language
* setlx: SETL and SetlX, high level set based programming language
* sicstus: SICStus Prolog, constraint programming, logic programming, loops, etc.
* swi_prolog: SWI-Prolog, constraint programming, logic programming, etc.
* turbo_prolog: Some of my old Turbo Prolog programs (from 1989-1990)
* unicon: Unicon/Icon, high level programming language
* webppl: WebPPL, a probabilistic programming language (as subset of JavaScript)
* 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)
[email protected]
http://hakank.org/