@daajoe
github

daajoe

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    40
  • Global Rank 399,122 (Top 14 %)
  • Followers 25
  • Following 51
  • Registered almost 13 years ago
  • Most used languages
    Python
         66.7 %
    C++
         25.0 %
    CMake     8.3 %
  • Location πŸ‡ΈπŸ‡ͺ Sweden
  • Country Total Rank 3,719
  • Country Ranking
    CMake     52
    C++
         468
    Python
         787

Top repositories

1

GPUSAT

C++
11
star
2

frasmt

FraSMT: SMT-based decomposer for fractional hypertree decompositions
Python
7
star
3

htd_validate

Checker for hypertree decompositions
Python
5
star
4

benchmark-tool

Python
3
star
5

detkdecomp

Backtracking-Based Algorithm for Computing Hypertree-Decompositions
C++
3
star
6

hypergraphs

Python
2
star
7

trellis

TREewidth LocaL Improvement Solver
CMake
2
star
8

gtfs2graphs

Python
2
star
9

sat_horn_backdoors

Python
1
star
10

sat2vc

sat2vc transforms SAT instances into VC instances.
Python
1
star
11

claspre2

C++
1
star
12

sat_tw

Python
1
star
13

mc2021

1
star