Skip to content
GitLab
Explore
Sign in
P
ps
Projects with this topic
Python
Any
Batchfile
BibTeX
C
C#
C++
CMake
CSS
Dockerfile
GLSL
Haskell
HTML
Java
JavaScript
Julia
Jupyter Notebook
Makefile
Mathematica
MATLAB
Python
R
SCSS
Shell
TeX
TSQL
TypeScript
Name, descending
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