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
@hakank
hakank
Follow
View hakank's full-sized avatar

Hakan Kjellerstrand hakank

Independent Researcher. Interests: Constraint Modeling, Logic Programming, (Recreational) Mathematics, Probabilistic programming. Co-author of the Picat book.

Block or report hakank

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more aboutblocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more aboutreporting abuse.

Report abuse
hakank/README.md

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/

PinnedLoading

  1. picat_regexpicat_regexPublic

    regex module for Picat

    C 5 2

  2. hakankhakankPublic

    My public programs and models - mostly combinatorial problems and puzzles

    JavaScript 375 76


[8]ページ先頭

©2009-2025 Movatter.jp