csplib/csplib

A benchmark library for constraints

csplib's Issues

Can't find brush for 'param'

The following page causes an error. Let's find out why!

http://csplib.org/Problems/prob133/data/sample.param.html

what are the capacities of the instances of warehouse location problem?

In the 6 instances, we can see the number of warehouses, the number of stores, the cost of each maintaining each warehouse and the supply cost. Where are the capacities of the warehouses?

Thanks a lot!

Links to external encoders in Models

Currently, in the subsection Models we can add models as File/Type/Notes. I would like to be able to add a link to a website that contains a problem specific encoder.

For instance for prob001 car sequencing I have written a problem at github.com/vale1410/car-sequencing that is a parametrised encoder to CNF for SAT solving and I would like to add reference in the Models section.

Problem ids reserved for Essence Catalog

The list of problem ids reserved for the essence catalog in this spreadsheet should be documented some place. For example in this ticket.

https://docs.google.com/spreadsheets/d/1A40Ah8aM5cPX6kFtYJCgE3IpTvIxZthV8Zn2_wfZhig/edit#gid=109339618

Add licence

We need to add a licence to the website (should this just be on the main page, or every page?)

It should be the CC-BY-4.0 wherever we put it:

http://creativecommons.org/licenses/by/4.0/

Cannot build the website because pip fails

Hello

I cannot build locally the website because pip fails with no such option --allow-external during make.
I have found this explanation.

Usage:   
  pip install [options] <requirement specifier> [package-index-options] ...
  pip install [options] -r <requirements file> [package-index-options] ...
  pip install [options] [-e] <vcs project url> ...
  pip install [options] [-e] <local project path> ...
  pip install [options] <archive url/path> ...

no such option: --allow-external
<<Finished>>
./internal/scripts/support/problem_creation_dates.sh
# activate virtual python environment
. ./internal/scripts/env/bin/activate && \
./internal/scripts/framework/generate_web_site.py

Here a a few information about my configuration.

$ uname -a 
Linux arrakis 5.13.9-200.fc34.x86_64 #1 SMP Sun Aug 8 14:34:00 UTC 2021 x86_64 x86_64 x86_64 GNU/Linux
$ python --version
Python 3.9.6

Thanks for your help.

Prob012 - regular constraint type signature

Hi @hakank

I was unable to compile prob012/models/nonogram_automaton.co in Comet 3.0 (the version I have). Because the regular type signature in that version is,

Constraint<CP> regular(var<CP>{int}[] x, Automaton<CO> automaton)

In this model it is,

Constraint<CP> regular(var<CP>{int}[] x, Automaton<CP> automaton)

I don't know what the difference between the types Automaton<CO> and Automaton<CP> is, so I did not debug the issue further. Maybe you could double check that it works with a version of Comet 2.x?

Should cite{ } allow multiple reference at once?

What should the result from cite{ref1, ref2} look like?

For a single reference, it would look like [ref1] so multiple references would like [ref1, ref2] where ref1 and ref2 are hyperlinked.

Submit external links to the Wayback machine so they are mirrored

External links, like links to papers/models/data files/results, might become offline any time.

Apparently one can submit links to the Wayback machine (archive.org) for mirroring.

We might want to automated this somehow.

fix broken links

there are a bunch of links to non-existant websites. We should do an automated pass to look for broken links, and then probably archive.org as many as possible.

howpublished bibtex field

howpublished bibtex field get show as the following (http://csplib.github.io/csplib-PR-builds/PR-30/Problems/prob058/references)

Would be nice if it was shown like (http://csplib.github.io/csplib-PR-builds/PR-30/Problems/prob013/references/)

Only problem is which link to use for the title when there both a a url and a howpublished field (unlikely)?

prob001 data is incomplete

The data for the car sequencing problem is incomplete.
(https://github.com/csplib/csplib/blob/master/Problems/prob001/data/data.txt)

Some of them do not have the capacity and block variables set.

For problems pulled from the Regin and Puget CP97 paper I can find that they all have the same capacities: 1/2 for option 0, 2/3 for option 1, 1/3 for option 2, 2/5 for option 3, and 1/5 for option 4

But for some other problems that have this data missing I do not know where they came from.

citations are not expanded in notes of a model or a data file

Should make it parsed markdown instead of plain text.

Example: http://csplib.github.io/csplib-builds/master/Problems/prob069/data/

Tables should be sortable

e.g on http://csplib.github.io/csplib-builds/master/Problems/prob054/models/

List of authors/contributors would be nice

There is the authors page which is good. But it might be nice to have a list of contributors too, i.e. people who have contibuted to the git hub. Even if it is just to github usernames. To give credit to people who aren't problem proposers but have contributed.

a mysterious "fdsfds" on the website

When I go to the website now, I see a mysterious "fdsfds" on the top left. It is inside the <head> tag in the generated html source. When I look at the html template, I see it corresponds to something called {{meta_index}} (here). I have no idea why its value is "fdsfds" though.

Add languages to updates

For problems, the timestamps are created by
https://github.com/csplib/csplib/blob/master/scripts/support/problem_creation_dates.sh

Link to roadef 2005 is broken

On https://www.csplib.org/Problems/prob001/data/ there is a link to http://challenge.roadef.org/2005/en/sujet.php which is broken

How can I help list?

Collect a list of small outstanding tasks and curate those on the website, to help inspire would-be volunteers.

For example, the outstanding items from the Essence Catalog, and how to do a migration.

Fix differences from GH markdown

Could use https://github.com/google/py-gfm which add some extensions to python markdown to cover the small differences

Maths on csplib

I switched the CDN for the Mathjax javascript to cdnjs because of https://www.mathjax.org/cdn-shutting-down/.

It seems to work without any problems e.g:
http://csplib.github.io/csplib-builds/master/Problems/prob005/

Categories oddity

The categories page

prob002 from the categories page

Would be nice if it said CSPlib / Categories / prob002 but this would require passing state to all problem pages.

AC-3 and numberjack

hi, i have to create a python program that solves some generic csp problem (for example #23 Magic Hexagon problem). The problem is that i have to use AC-3 algorithm and i don't know how i can do. I don't understand how merge the program with AC-3. I was thinking to use numberjack but i don't know how continue

Make fails if pip is not installed

Running make gives the following errors if pip is not installed:

$ make
# create virtual python Environment
./internal/scripts/support/setup.sh
Error: Command '['/home/viz/workspace/csplib/internal/scripts/env/bin/python3', '-Im', 'ensurepip', '--upgrade', '--default-pip']' returned non-zero exit status 1
./internal/scripts/support/setup.sh: line 19: ./internal/scripts/env/bin/activate: No such file or directory
pip @ ./internal/scripts/support/setup.sh: line 23: pip: command not found
./internal/scripts/support/setup.sh: line 28: pip: command not found
<<Finished>>
./internal/scripts/support/problem_creation_dates.sh
# activate virtual python environment
. ./internal/scripts/env/bin/activate && \
    ./internal/scripts/framework/generate_web_site.py
/bin/sh: 1: .: Can't open ./internal/scripts/env/bin/activate
make: *** [build] Error 2

It's probably worth mentioning in README that pip is required.

Does not look nice on phones with small screens

Does not look nice on phones with small screens

python 2 compatibility

python 2 compatibility broke again, because of encoding='utf-8' in open which is not in python2. This was needed for Windows support. Could io.open https://docs.python.org/2/library/io.html which work in both py2 and py3

Enable mention-bot

I enabled mention-bot for another repository, and it seems helpful. If nobody objects (@ChrisJefferson?) I can configure it.

Add make clean

make clean should remove _deploy and ./internal/scripts/env

Feature Request: Blog or something with a better name

It would be nice to have a sensible place to put simple articles, e.g. one today thanking everybody and saying how awesome the CSP Lib Sprint was.

I don't like the word blog because it would imply to people that we might regularly update it, which is less likely. But it would be nice if there was somewhere to put this kind of thing.

Results in prob054 not appearing

I added a couple of files to results for n queens and they appeared on my local build of csplib when I tested it, but haven't yet appeared on the real thing even though the .md files are there.

http://csplib.org/Problems/prob054/results/

Syntax highlighting for E'

I checked in some rubbish highligheter very similar to the essence one. Could someone please connect that up.
Also the language seems to be called SavileRow, EssencePrime or Essence' in different files/directory names. can we standardise on EssencePrime everywhere?

Bibtex Book Item not showing publisher

The cbls_book entry on this page is a good example.

http://www.csplib.org/Languages/Comet/references/

csplib-builds

We have csplib builds of every branch at http://csplib.github.io/csplib-builds. Also the commits in csplib-builds references the commit in csplib that it build e.g. csplib/csplib-builds@e862e04

Some improvement which could be made:

• Better index page
• At the moment if a build is very slow and a newer build finishes first they would be committed in the wrong order
• Add a link to http://csplib.github.io/csplib-builds on csplib?
• make preview of pull requests
• At the moment files are not deleted when a new build is made, leading to dangling files

new_problem.sh should generate a more useful template

Things like references and some sample markdown for the problem specification would be nice.

Some minizinc models not coloured (prob002)

Metadata display in markdown

Metadata does not render nicely on github i.e

putting --- before and after i.e.

---
Title:    Low autocorrelation binary sequences
Proposer: Toby Walsh 

---

would make it look nice e.g

Need to remove the --- before parsing the markdown

https://github.com/csplib/csplib/blob/master/Problems/prob001/specification.md

Comet .co files are not being recognised

Comet .co files are not being recognised see
http://csplib.github.io/csplib-builds/master/Languages/Comet/models/

Oddly co is listed in the Extensions of https://github.com/csplib/csplib/blob/master/Languages/Comet/specification.md

Json Output

There is json output for problems by adding .json to the end of the url, this should linked somewhere.

Organization on Github

Rather than having an account just for the csplib, would it make sense for Association for Constraint Programming to have an organization account (e.g. a4cp) and then make csplib and other repositories inside that account?

So it would be organized, a4cp/csplib?

Edge cases in SGP and PPP

SGP: Should 1 person groups be allowed. The specification doesn't explicitly say this, but I think it should.

PPP: Should a period without any guests be allowed. Again, the specification doesn't disallow this, but I think it should.

Thoughts?

Problem with markup-like syntax in data files

Hi,

I am not sure this can be easily fixed but the page "http://www.csplib.org/Problems/prob030/data/bacp10.dat.html" (and same for bacp8 and bacp12) does not properly show the content of the "prereq" array because it contains entries that look like "<dew101,dew100 >", which should be understood as a pair of courses but is parsed (as far as I can tell) as a markup tag without meaning and then not shown. (Note that I needed to escape the < to make it appear here)

As the behaviour might be browser specific, I should tell that I am using Firefox 42 on Linux Mint.

Best, JN

041: The n-Fractions Puzzle

Hello,
Most of the models do not match the problem's specification.
They consider the fraction x_i/(y_i*z_i) instead of x_i/(10y_i + z_i).

bibtex does not protect capital letters

On http://csplib.org/Problems/prob056/cite/ , the title given in the bibtex is: "{CSPLib} Problem 056: Synchronous Optical Networking (SONET) Problem",. This protects the CSPLib with {}, but not the word SONET, so it will get put in lower case by bibtex.

I don't really want to tell uses they have to put bibtex style escapes in, so here is a suggested rule: When outputting bibtex, if a word has a capital letter in a location other than it's first letter, surround it in {}.

Model table is not sorted

Model table input is not sorted hence means making the diff pointless large

Redirect from old csplib

Just found this link from a google search for csplib and it's still live

https://ianm.host.cs.st-andrews.ac.uk/CSPLib/prob/prob019/spec.html

This should either get redirected or just a generic message posted on these pages pointing to new site.

Obviously needs some liaison with Ian Miguel but sure he'd be fine.

Links to references be simply in numerical order?

It looks ugly and not-useful to have references to bibtex be just the tags, because they may be unhelpful.

Given that it would be hard to do fancy (Smith and Jones 1989), perhaps simply number in order they are in the bibtex file or something, e.g. just [1]. The link to the references bibtex is good so that could be the same.