Pinned Repositories
kg6's Repositories
kg6/aig2qbf
A converter for And-Inverter Graphs (AIG) to Quantified Boolean Formulars (QBF) using Simple Path as reduction method.
kg6/MCM3
A simple Monte Carlo method editor using d3.js, jQuery and Twitter Bootstrap