https://github.com/xcsp3team/pycsp3
Revision 4193c035189ea9fb74f5b9bfa55e3a76e357a1eb authored by XCSP Team on 20 October 2020, 09:11:06 UTC, committed by GitHub on 20 October 2020, 09:11:06 UTC
2 parent s afedd2e + f728757
History
Tip revision: 4193c035189ea9fb74f5b9bfa55e3a76e357a1eb authored by XCSP Team on 20 October 2020, 09:11:06 UTC
Merge branch 'master' into logger
Tip revision: 4193c03
File Mode Size
classes
docs
libs
problems
solvers
tools
.gitignore -rw-r--r-- 232 bytes
LICENSE -rw-r--r-- 1.1 KB
README.md -rw-r--r-- 19.7 KB
__init__.py -rw-r--r-- 1.8 KB
compiler.py -rw-r--r-- 11.0 KB
dashboard.py -rw-r--r-- 1.8 KB
functions.py -rw-r--r-- 33.3 KB
guidePyCSP3.pdf -rw-r--r-- 5.5 MB
optionsSolvers.pdf -rw-r--r-- 187.0 KB
version.txt -rw-r--r-- 5 bytes

README.md

back to top