vale1410/logstreamer
Prefixes streams (e.g. stdout or stderr) in Go
Developer Profile
vale1410
Discovered public repositories for vale1410 in the GitHub catalog.
vale1410/obo
A simple document bibtex sychroniser
vale1410/fourcoloring
SAT Encodings for Rectangle Free Coloring
vale1410/SMPTSP
A SAT Approach for SMPTSP
vale1410/social-sat
A repository for SAT/ASP encodings for social choice problems and theorems
vale1410/car-sequencing
CNF generator for car-sequencing problems from http://csplib.org/Problems/prob001/
vale1410/cars
Modelling attempts for the car sequencing problem from the CSPLIB
vale1410/cwd
An attempt to encode clique-width for a given graph
vale1410/bule
The SAT and QBF Programming Language Bule
vale1410/almost-squared
An attempt to solve the almost squared problem more than 26*27
vale1410/upbdd
an implementation of the upbdd idea