Giters
Michael Marte (informarte)

informarte

Geek Repo

4

followers

0

following

41

stars

Location:Berlin, Germany

Home Page:https://de.linkedin.com/pub/michael-marte/6/353/b21

Github PK Tool:Github PK Tool

Michael Marte's repositories

yuck

Yuck is a local-search constraint solver with FlatZinc interface

Language:ScalaLicense:NOASSERTIONStargazers:53Issues:6Issues:16

minizinc-challenge-results

Tools to build and query a database of MiniZinc challenge results

Language:PythonLicense:MPL-2.0Stargazers:5Issues:1Issues:0

libminizinc

The MiniZinc compiler

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

minizinc-benchmarks

A suite of MiniZinc benchmarks.

Language:CLicense:MITStargazers:0Issues:1Issues:0

scala

Scala 2 compiler and standard library. For bugs, see scala/bug

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:0Issues:0