Skip to content
GitLab
Explore
Sign in
C
ci
Projects with this topic
Shell
Any
Batchfile
BibTeX
C
C#
C++
CMake
CSS
Dockerfile
GLSL
HTML
Java
JavaScript
Julia
Jupyter Notebook
Makefile
Mathematica
MATLAB
Python
R
SCSS
Shell
TeX
TSQL
TSX
TypeScript
Updated date
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
Nov 21, 2024
0
0
0
0
Updated
Nov 21, 2024
