Skip to content
GitLab
Explore
Sign in
P
programming
Projects with this topic
Python
Any
Batchfile
BibTeX
C
C#
C++
CMake
CSS
Dockerfile
Gherkin
GLSL
HTML
Java
JavaScript
Julia
Jupyter Notebook
Makefile
Mathematica
MATLAB
Python
R
SCSS
Shell
TeX
TSQL
TypeScript
Last created
Sort by
Updated date
Last created
Name
Name, descending
Most stars
Oldest updated
Oldest created
Hide archived projects
Show archived projects
Show archived projects only
Tobias Niederbrunner /
PS Logic Colorable-Map SAT Solver
This solves colorable maps like e.g in the bonus exercise of Week 04 (SS2023) in PS Logic.
python
programming
ps
+ 1 more
0
Updated
Oct 24, 2023
0
0
1
1
Updated
Oct 24, 2023