Laakeri/pmcenum-ijcai Laakeri/pmcenum-ijcai

  • Stars
    star
    1
  • Language
    C++
  • License
    MIT License
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Laakeri/pmcenum-ijcai
github

Laakeri

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

contestlib

Collection of algorithm implementations for ICPC programming contests
C++
23
star
2

sharpsat-td

Entry to model counting competition 2021.
C++
19
star
3

Triangulator

Implementation of the Bouchitté-Todinca algorithm for finding optimal graph triangulations
C++
4
star
4

triangulator-msc

Implementation of the Bouchitté-Todinca Algorithm developed in my master's thesis.
C++
4
star
5

maxpre

MaxSAT preprocessor
C++
3
star
6

tiralabra

C++
2
star
7

PACE2017-min-fill

Submission for PACE challenge 2017 - Minimum fill-in
C++
1
star
8

pace2020-treedepth-exact

PACE 2020 exact track submission
C++
1
star
9

jsbm

Javascript tool for extrapolating integer sequences
JavaScript
1
star