Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up

My public programs and models - mostly combinatorial problems and puzzles

License

NotificationsYou must be signed in to change notification settings

hakank/hakank

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Here I will place my public programs and models. Most areavailable as individual files at different pages ofhttp://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)
  • #"auto">I'll try to keep this repository as updated as possible.

    Hakan Kjellerstrand (a.k.a. hakank)hakank@gmail.comhttp://hakank.org/


[8]ページ先頭

©2009-2025 Movatter.jp