jkoppel/sat

Stars
1
Language
C++
License
Apache License 2.0
Created almost 13 years ago
Updated about 11 years ago

jkoppel/sat

jkoppel

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

A DPLL SAT solver with conflict-directed backjumping

QuixBugs

A multi-lingual program repair benchmark set based on the Quixey Challenge

project-ironfist

ecta

REProgram

Patch binaries at load-time

thermometer-continuations

Examples from our paper "Capturing the Future by Replaying the Past"

re-course

Materials for Reverse Engineering course taught at MIT IAP

Revitalize

Tools for modifying programs without their source.

compstrat

Strategy combinators for compositional data types

mandate

Automatically deriving control-flow graph generators from operational semantics

Strafunski-StrategyLib

Cabalized version of the StrategyLib library from Strafunski

omega-calculus

Naive implementaton of causal probablistic programming, faithful to Tavares et al

quixey_challenger

Solve Quixey challenge automatically

comptrans

Translation of ASTs into multi-sorted compositional data types

risp

A Lisp that interacts with Ruby

assassinate_the_assassin

A 3D browser-based tactical first-person sworder

cardtable

Free-motion environment for playing cards online

your-next-interview-question

rubyquiz

Solutions to over 40 RubyQuiz problems

Strafunski-ATermLib

Cabalized version of the ATermLib library from Strafunski

OIL

Interpreter and library for a One-Instruction-Language register machine

number_csp

CSP solver for number puzzles, with GUI frontends for Kakuro and KenKen

Communism.js

Workers unite and seize the means of production

nopper

Automatically exported from code.google.com/p/nopper

medicalinfo

Automatically exported from code.google.com/p/medicalinfo

code-learning-study-setup

Strafunski-Sdf2Haskell

Cabalized version of the Sdf2Haskell library from Strafunski

synthetic_evolution

the-philosoraptors