Popular repositories

1. bule bule Public

   The SAT and QBF Programming Language Bule

   OCaml 21 3

2. vim-minizinc vim-minizinc Public

   Syntax highlighting for minizinc (CP) and gringo (ASP) source code.

   Vim Script 16 4

3. almost-squared almost-squared Public

   An attempt to solve the almost squared problem more than 26*27

   Shell 2

4. car-sequencing car-sequencing Public

   CNF generator for car-sequencing problems from http://csplib.org/Problems/prob001/

   2

5. positional-games-qbf-encoding positional-games-qbf-encoding Public

   Encodings for positional games in QBF

   Go 2

6. cars cars Public

   Modelling attempts for the car sequencing problem from the CSPLIB

   Go 1