ciaranm/parasols ciaranm/parasols

  • This repository has been archived on 19/May/2023
  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    C++
  • License
    MIT License
  • Created about 11 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ciaranm/parasols
github

ciaranm

Reviews

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

Repository Details

Parallel solvers for hard problems

More Repositories

1

detectindent

Vim script for automatically detecting indent settings
Vim Script
173
star
2

inkpot

Inkpot 88/256 Colour Scheme for Vim
Vim Script
155
star
3

securemodelines

A secure alternative to Vim modelines
Vim Script
107
star
4

glasgow-subgraph-solver

A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
C++
70
star
5

dotfiles

My dotfiles
Lua
19
star
6

cp2015-subgraph-isomorphism

CP 2015 subgraph isomorphism experiments, data and paper
C++
13
star
7

glasgow-constraint-solver

A constraint programming solver with support for proof logging
C++
11
star
8

aaai17-between-subgraph-isomorphism-and-maximum-common-subgraph-paper

8
star
9

sicsa-multicore-challenge-iii

Third SICSA Multicore Challenge
TeX
4
star
10

paludis-overlay

Paludis overlay for Gentoo
Shell
4
star
11

multithreadedmaximumclique

Multi-threaded maximum clique solver
C++
3
star
12

googletest-syntax

Vim syntax highlighting for googletest
Vim Script
3
star
13

decision-diagrams

C++
1
star
14

research-overview-talk

Gnuplot
1
star
15

jair-really-hard-sip-paper

Gnuplot
1
star
16

subgraph-isomorphism-in-practice-talk

Gnuplot
1
star
17

lion2016-sip-portfolios-paper

1
star
18

ijcai2021-clique-constraints-paper

C++
1
star
19

cpm2018-lectures

TeX
1
star
20

cp2015-boats-paper

TeX
1
star
21

cpaior2021-finding-subgraphs-with-side-constraints

TeX
1
star