ciaranm/glasgow-constraint-solver ciaranm/glasgow-constraint-solver

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    C++
  • License
    MIT License
  • Created over 3 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ciaranm/glasgow-constraint-solver
github

ciaranm

Reviews

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

Repository Details

A constraint programming solver with support for proof logging

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

parasols

Parallel solvers for hard problems
C++
12
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