Skip to content
GitLab
Explore
Sign in
P
python
Shell
Any
BibTeX
C
C#
C++
CMake
CSS
Dockerfile
GLSL
HTML
Java
JavaScript
Julia
Jupyter Notebook
Makefile
Mathematica
MATLAB
Python
R
SCSS
Shell
Svelte
TeX
TSQL
TSX
TypeScript
Projects with this topic
Sort by:
Name
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
View PS Logic Colorable-Map SAT Solver project
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
