Skip to content
@kg6

kg6

  • Austria

Popular repositories

  1. aig2qbf aig2qbf Public

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

    Java 6 1

  2. MCM3 MCM3 Public

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

    JavaScript 4 1

Repositories

Showing 2 of 2 repositories
  • aig2qbf Public

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

    Java 6 MIT 1 1 0 Updated Aug 24, 2013
  • MCM3 Public

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

    JavaScript 4 1 0 0 Updated Jul 7, 2012

Top languages

Loading…

Most used topics

Loading…