vale1410

SAT Programmer

Isotronic GmbH / University of PotsdamBerlin, Germany

Pinned Repositories

almost-squared
An attempt to solve the almost squared problem more than 26*27
Language:Shell2 3 00
bisi
QSAT Programming for Bisimulation
1 3 00
bule
The SAT and QBF Programming Language Bule
Language:OCaml21 6 593
car-sequencing
CNF generator for car-sequencing problems from http://csplib.org/Problems/prob001/
3 2 00
cars
Modelling attempts for the car sequencing problem from the CSPLIB
Language:Go1 2 00
csv2md
Simple CSV to markdown converter written in golang
Language:Go12
mps2opt
An simple .mps MIPLIB converter to other formats.
Language:Go1 2 02
positional-games-qbf-encoding
Encodings for positional games in QBF
Language:Go2 3 00
SMPTSP
A SAT Approach for SMPTSP
Language:Go1 2 01
vim-minizinc
Syntax highlighting for minizinc (CP) and gringo (ASP) source code.
Language:Vim script17 4 24

vale1410's Repositories

vale1410/bule
The SAT and QBF Programming Language Bule
Language:OCaml21 6 593
vale1410/vim-minizinc
Syntax highlighting for minizinc (CP) and gringo (ASP) source code.
Language:Vim script17 4 24
vale1410/car-sequencing
CNF generator for car-sequencing problems from http://csplib.org/Problems/prob001/
3 2 00
vale1410/almost-squared
An attempt to solve the almost squared problem more than 26*27
Language:Shell2 3 00
vale1410/positional-games-qbf-encoding
Encodings for positional games in QBF
Language:Go2 3 00
vale1410/bisi
QSAT Programming for Bisimulation
1 3 00
vale1410/cars
Modelling attempts for the car sequencing problem from the CSPLIB
Language:Go1 2 00
vale1410/csv2md
Simple CSV to markdown converter written in golang
Language:Go12
vale1410/mps2opt
An simple .mps MIPLIB converter to other formats.
Language:Go1 2 02
vale1410/SMPTSP
A SAT Approach for SMPTSP
Language:Go1 2 01
vale1410/upbdd
an implementation of the upbdd idea
Language:Prolog1 2 00
vale1410/bullet3
Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.
Language:C++1 0
vale1410/csplib
A benchmark library for constraints
Language:Prolog
vale1410/cwd
An attempt to encode clique-width for a given graph
2 0
vale1410/fourcoloring
SAT Encodings for Rectangle Free Coloring
Language:TeX2 0
vale1410/gobal
A very simple task balancer
Language:Go2 0
vale1410/graph-auto
A quick hack to test graph isomorphism using ASP/SAT
Language:Go2 0
vale1410/jheusser.github.com
Blog
2 0
vale1410/logstreamer
Prefixes streams (e.g. stdout or stderr) in Go
Language:Go2 0
vale1410/minisat
A minimalistic and high-performance SAT solver
Language:C++2 0
vale1410/minisatp
The Pseudo-Boolean Solver MiniSat+
Language:C++
vale1410/obo
A simple document bibtex sychroniser
Language:Go2 0
vale1410/parago
A simple search to find optimal parameters
Language:Go2 0
vale1410/plaspule
🗺️ QBF Programming Bule planning tools for PDDL
Language:C++
vale1410/qute
Qute: a dependency learning QBF solver.
Language:C++1 0
vale1410/rusty
Structured Text Parser and LLVM Frontend
vale1410/social-sat
A repository for SAT/ASP encodings for social choice problems and theorems
Language:Shell2 0
vale1410/vale1410.github.io
Website for my projects
Language:CSS2 0