Block or report user

Popular repositories

  1. virtuoso-opensource

    Forked from openlink/virtuoso-opensource

    Virtuoso is a scalable cross-platform server that combines Relational, Graph, and Document Data Management with Web Application Server and Web Services Platform functionality.

    C 1

  2. rdfstore-js

    Forked from antoniogarrote/rdfstore-js

    JS RDF store with SPARQL support

    JavaScript 1

  3. dompdf

    Forked from dompdf/dompdf

    HTML to PDF converter (PHP5)

    PHP

  4. backbone-forms

    Forked from powmedia/backbone-forms

    Form framework for BackboneJS with nested forms, editable lists and validation

    JavaScript

1 contribution in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Mon Wed Fri

Contribution activity First pull request First issue Joined GitHub

June 2017

trueg has no activity yet for this period.

May 2017

Created an issue in bpodgursky/jbool_expressions that received 1 comment

Seemingly endless conversion to CNF

When trying to convert the following expression to CNF via RuleSet.toCnf(), the latter seems to run forever. Sure, it is a rather big expression, b…

Seeing something unexpected? Take a look at the GitHub profile guide.