Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 4, 2021

• adding pretty printer for String/text and Graphviz/Dot output, and a simple test.

  kfriedberger

  committed
  6c08e07

  Copy full SHA for 6c08e07

Commits on Jul 9, 2020

• apply the reuse tool to change the license info.

  Show description for e211d0a
  kfriedberger

  committed
  e211d0a

  Copy full SHA for e211d0a

Commits on Feb 4, 2020

• mark some classes as 'final' if possible.

  kfriedberger

  committed
  72dfe96

  Copy full SHA for 72dfe96

Commits on Oct 10, 2016

• Reformat Javadoc with next version of google-java-format.

  Show description for 9dc8213
  kfriedberger

  committed
  9dc8213

  Copy full SHA for 9dc8213

Commits on Aug 24, 2016

• Format java source code.

  ottseb

  committed
  e55b47f

  Copy full SHA for e55b47f

• Move UfElimination to new package utils and add SolverUtils.

  Show description for 56a14f5
  ottseb

  committed
  56a14f5

  Copy full SHA for 56a14f5

Loading