Popular repositories Loading

1. aig2qbf aig2qbf Public

   A converter for And-Inverter Graphs (AIG) to Quantified Boolean Formulars (QBF) using Simple Path as reduction method.

   Java 8 1

2. MCM3 MCM3 Public

   A simple Monte Carlo method editor using d3.js, jQuery and Twitter Bootstrap

   JavaScript 4 1