-
-
Notifications
You must be signed in to change notification settings - Fork 85
/
minizinc.scroll
50 lines (42 loc) · 1.04 KB
/
minizinc.scroll
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
import ../code/conceptPage.scroll
id minizinc
name MiniZinc
appeared 2012
tags pl
website http://www.minizinc.org/
latestVersion 2.8.4
isOpenSource true
writtenIn cpp restructuredtext python cmake json svg html markdown yaml xml c css nix javascript make tex bash ini
fileType text
rosettaCode http://www.rosettacode.org/wiki/Category:MiniZinc
quineRelay MiniZinc
centralPackageRepositoryCount 0
ubuntuPackage minizinc
repoStats
firstCommit 2012
commits 7042
committers 61
files 2359
newestCommit 2024
country Australia
originCommunity Monash University
rijuRepl https://riju.codes/minizinc
example
solve satisfy;
output ["Hello, world!\n"];
twitter https://twitter.com/minizinc
githubRepo https://github.com/MiniZinc/libminizinc
firstCommit 2012
stars 393
forks 67
subscribers 38
created 2015
updated 2022
description The MiniZinc compiler
issues 59
domainName minizinc.org
awisRank
2022 8165783
isbndb 1
year|publisher|title|authors|isbn13
2020|Springer|Building Decision Support Systems: Using Minizinc|Wallace, Mark|9783030417314