maximaximal/piga maximaximal/piga

  • Stars
    star
    2
  • Language
    C++
  • License
    zlib License
  • Created about 10 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
maximaximal/piga
github

maximaximal

Reviews

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

Repository Details

More Repositories

1

Paracooba

Distributed and ressource elastic cube-and-conquer SAT & QBF solver
C++
16
star
2

OpenGL-Injector

A demo/framework for injecting imagery into OpenGL based programs.
C
8
star
3

Spacegasm

C++
7
star
4

limboole

Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
C
5
star
5

QuAPI

Library and tool to add assumption-support to generic SAT or QBF solver binaries using automated fork()ing and LD_PRELOAD
C++
4
star
6

DFMapCompressorPP

A native .bmp to .fdf-map compressor for maps exported from Dwarf Fortress
C
3
star
7

KoradControl

Small controller program for Korad laboratory power supplies.
C++
2
star
8

pygments-jana

A pygments plugin for the algorithm description language jana.
HTML
2
star
9

legui

SFML Gui library called legui.
C++
1
star
10

Dancing-Links

Working on some examples in Donald Knuth's "The Art of Computer Programming" Volume 4, Fascicle 5: Dancing Links
C++
1
star
11

TI-82ChemSuite

Shell
1
star
12

Minecraft-Backup-Manager

Backups des ganzen .minecraft Ordners leicht gemacht!
1
star
13

Minecraft-Modder

PHP
1
star
14

CMake-Templates

This project provides commented CMake Templates suitable for starting better organised university projects.
CMake
1
star
15

booleguru

A versatile logical calculator and tool for encoding development for SAT, QBF, and beyond.
Lua
1
star