vale1410/almost-squared vale1410/almost-squared

  • Stars
    star
    2
  • Language
    Shell
  • Created about 13 years ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vale1410/almost-squared
github

vale1410

Reviews

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

Repository Details

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

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

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