-
-
graphtheory Public
Forked from ufkapano/graphtheoryPython implementation of graphs.
-
-
sat-modulo-symmetries Public
Forked from markirch/sat-modulo-symmetriesC++ MIT License UpdatedJul 30, 2025 -
Python Public
Forked from TheAlgorithms/PythonAll Algorithms implemented in Python
Python MIT License UpdatedJun 14, 2025 -
-
painless Public
Forked from lip6/painlessA framework to ease parallelization of sequential SAT solvers
C++ Other UpdatedMay 8, 2025 -
GraphFilter Public
Forked from GraphFilter/GraphFilterThe main goal of this software is to give assistance to Graph Theory and Spectral Graph Theory researchers to establish or refute conjectures quickly and simply, providing for visualization a filte…
Python GNU General Public License v3.0 UpdatedApr 23, 2025 -
Unofficial source code of the book C Recipes A Problem-Solution Approach (Shirish Chavan)
C UpdatedApr 5, 2025 -
-
Conversion between Mathematica and TikZ
-
-
-
-
algo Public
Forked from wangzheng0822/algo数据结构和算法必知必会的50个代码实现
Python Apache License 2.0 UpdatedAug 21, 2024 -
4-regular-plane-graphs-with-given-faces Public
Forked from lichengzhang1/4-regular-plane-graphs-with-given-facesC UpdatedJun 23, 2024 -
hc_tw_experiments Public
Forked from stalowyjez/hc_tw_experimentsC++ BSD 2-Clause "Simplified" License UpdatedMay 11, 2023 -
planham Public
Forked from abudnik/planhamBacktracking algorithm for finding a Hamiltonian cycle in undirected planar graphs
C++ UpdatedSep 1, 2018 -
c-recipes Public
Forked from Apress/c-recipesSource code for 'C Recipes' by Shirish Chavan
C Other UpdatedJul 26, 2017 -
findings-maximum-independent-subset Public
Forked from cchaniotaki/findings-maximum-independent-subsetFindings on maximum independent subset or Far Away and Fave
Python UpdatedJun 14, 2017
{{ message }}