vale1410

Valentin Mayer-Eichberger's repositories

bule

The SAT and QBF Programming Language Bule

Language:OCamlNOASSERTION21 6 59

vim-minizinc

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

Language:Vim Script17 4 2

almost-squared

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

Language:Shell2 30

car-sequencing

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

MIT200

positional-games-qbf-encoding

Encodings for positional games in QBF

Language:Go2 30

bisi

QSAT Programming for Bisimulation

1 30

cars

Modelling attempts for the car sequencing problem from the CSPLIB

Language:Go1 20

csv2md

Simple CSV to markdown converter written in golang

Language:Go100

mps2opt

An simple .mps MIPLIB converter to other formats.

Language:GoMIT1 20

SMPTSP

A SAT Approach for SMPTSP

Language:Go1 20

upbdd

an implementation of the upbdd idea

Language:Prolog1 20

bullet3

Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.

Language:C++NOASSERTION010

csplib

A benchmark library for constraints

Language:Prolog000

cwd

An attempt to encode clique-width for a given graph

020

fourcoloring

SAT Encodings for Rectangle Free Coloring

Language:TeXMIT020

gobal

A very simple task balancer

Language:GoMIT000

graph-auto

A quick hack to test graph isomorphism using ASP/SAT

Language:GoMIT020

jheusser.github.com

Blog

020

logstreamer

Prefixes streams (e.g. stdout or stderr) in Go

Language:GoMIT020

minisat

A minimalistic and high-performance SAT solver

Language:C++NOASSERTION020

minisatp

The Pseudo-Boolean Solver MiniSat+

Language:C++NOASSERTION000

obo

A simple document bibtex sychroniser

Language:GoGPL-2.0020

parago

A simple search to find optimal parameters

Language:Go000

plaspule

🗺️ QBF Programming Bule planning tools for PDDL

Language:C++MIT000

qute

Qute: a dependency learning QBF solver.

Language:C++010

rusty

Structured Text Parser and LLVM Frontend

LGPL-3.0000

social-sat

A repository for SAT/ASP encodings for social choice problems and theorems

Language:Shell000

vale1410.github.io

Website for my projects

Language:CSS020