Skip to content
View vale1410's full-sized avatar
🎯
Focusing
🎯
Focusing

Highlights

  • Pro

Block or report vale1410

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. bule bule Public

    The SAT and QBF Programming Language Bule

    OCaml 21 3

  2. vim-minizinc vim-minizinc Public

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

    Vim Script 17 4

  3. car-sequencing car-sequencing Public

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

    3

  4. almost-squared almost-squared Public

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

    Shell 2

  5. positional-games-qbf-encoding positional-games-qbf-encoding Public

    Encodings for positional games in QBF

    Go 2

  6. cars cars Public

    Modelling attempts for the car sequencing problem from the CSPLIB

    Go 1