vale1410/bule vale1410/bule

  • Stars
    star
    21
  • Rank 1,056,189 (Top 22 %)
  • Language
    OCaml
  • License
    Other
  • Created about 12 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vale1410/bule
github

vale1410

Reviews

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

Repository Details

The SAT and QBF Programming Language Bule

More Repositories

1

vim-minizinc

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

almost-squared

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

bisi

QSAT Programming for Bisimulation
1
star
4

csv2md

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

upbdd

an implementation of the upbdd idea
Prolog
1
star
6

car-sequencing

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

positional-games-qbf-encoding

Encodings for positional games in QBF
Go
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