Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
README.md		README.md
cop22.json		cop22.json
cop23.json		cop23.json
csp22.json		csp22.json
csp23.json		csp23.json
minicop22.json		minicop22.json
minicop23.json		minicop23.json
minicsp22.json		minicsp22.json
minicsp23.json		minicsp23.json

Repository files navigation

XCSP Competition Metadata Files

This repository contains metadata for instances from various XCSP competitions. These metadata are utilized by the tool Metrics (Documentation).

2023

2022

About

This repository contains metadata for instances from various XCSP competitions.

crillab-metrics metadata tootatis xcsp3

Custom properties

0 stars

1 watching

Report repository

Releases

Packages

Contributors