Content-Length: 184083 | pFad | http://github.com/kg6

21 kg6 · GitHub
Skip to content
@kg6

kg6

  • Austria

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

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.

    kg6/aig2qbf’s past year of commit activity
    Java 8 MIT 1 1 0 Updated Aug 24, 2013
  • MCM3 Public

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

    kg6/MCM3’s past year of commit activity
    JavaScript 4 1 0 0 Updated Jul 7, 2012

Top languages

Loading…

Most used topics

Loading…








ApplySandwichStrip

pFad - (p)hone/(F)rame/(a)nonymizer/(d)eclutterfier!      Saves Data!


--- a PPN by Garber Painting Akron. With Image Size Reduction included!

Fetched URL: http://github.com/kg6

Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy