vale1410/positional-games-qbf-encoding vale1410/positional-games-qbf-encoding

  • Stars
    star
    1
  • Language
    Go
  • Created over 4 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vale1410/positional-games-qbf-encoding
github

vale1410

Reviews

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

Repository Details

Encodings for positional games in QBF

More Repositories

1

bule

The SAT and QBF Programming Language Bule
OCaml
21
star
2

vim-minizinc

Syntax highlighting for minizinc (CP) and gringo (ASP) source code.
Vim Script
16
star
3

almost-squared

An attempt to solve the almost squared problem more than 26*27
Shell
2
star
4

bisi

QSAT Programming for Bisimulation
1
star
5

csv2md

Simple CSV to markdown converter written in golang
Go
1
star
6

upbdd

an implementation of the upbdd idea
Prolog
1
star
7

car-sequencing

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

SMPTSP

A SAT Approach for SMPTSP
Go
1
star
9

cars

Modelling attempts for the car sequencing problem from the CSPLIB
Go
1
star
10

mps2opt

An simple .mps MIPLIB converter to other formats.
Go
1
star