kg6

Austria

Pinned Repositories

aig2qbf
A converter for And-Inverter Graphs (AIG) to Quantified Boolean Formulars (QBF) using Simple Path as reduction method.
Language:Java8 2 11
MCM3
A simple Monte Carlo method editor using d3.js, jQuery and Twitter Bootstrap
Language:JavaScript4 2 01

kg6's Repositories

kg6/aig2qbf
A converter for And-Inverter Graphs (AIG) to Quantified Boolean Formulars (QBF) using Simple Path as reduction method.
Language:Java8 2 11
kg6/MCM3
A simple Monte Carlo method editor using d3.js, jQuery and Twitter Bootstrap
Language:JavaScript4 2 01