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
Tip revision: 4193c035189ea9fb74f5b9bfa55e3a76e357a1eb authored by XCSP Team on 20 October 2020, 09:11:06 UTC
Merge branch 'master' into logger
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 |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...