-
-
-
-
-
-
-
cadical Public
Forked from arminbiere/cadicalCaDiCaL SAT Solver
C++ MIT License UpdatedMar 12, 2024 -
-
-
-
-
satcomplexity.github.io Public
Forked from satcomplexity/satcomplexity.github.ioSCSS UpdatedMay 20, 2021 -
-
-
Jdrasil Public
Forked from maxbannach/JdrasilA Modular Library for Computing Tree Decompositions
Java Other UpdatedNov 18, 2019 -
minisat Public
Forked from niklasso/minisatA minimalistic and high-performance SAT solver
C++ Other UpdatedNov 6, 2019 -
htd Public
Forked from mabseher/htdA small but efficient C++ library for computing (customized) tree and hypertree decompositions.
C++ GNU General Public License v3.0 UpdatedSep 3, 2019 -
-
flow-cutter-pace17 Public
Forked from kit-algo/flow-cutter-pace17Submission to PACE 17
C++ BSD 2-Clause "Simplified" License UpdatedApr 26, 2017 -
-
-
Image-Processing Public
Forked from xandros-na/Image-Processing -
Nao-Mapping Public
The Objective of this project is to put Nao in an unknown environment and he will be walking around and learn the environment based on the data he receives from the sonars.
-
-
-
-
{{ message }}