Differences

This shows you the differences between two versions of the page.

tools [2010/08/18 12:51]
jipsen
tools [2012/01/03 10:47] (current)
jipsen
Line 4: Line 4:
  *[[http://www.math.hawaii.edu/~ralph/LatDraw/| LatDraw: A lattice drawing Java applet]] by Ralph Freese   *[[http://www.math.hawaii.edu/~ralph/LatDraw/| LatDraw: A lattice drawing Java applet]] by Ralph Freese
  *[[http://www.cs.unm.edu/~mccune/prover9/| MACE: a program that searches for small models]] by William McCune   *[[http://www.cs.unm.edu/~mccune/prover9/| MACE: a program that searches for small models]] by William McCune
 +  *[[http://maude.cs.uiuc.edu/|Maude: A term-rewriting system]]
 +  *[[http://minion.sourceforge.net/|Minion: A constraint satisfier]]
 +  *[[http://www.satlive.org/|Minisat: A boolean satisfaction solver]]
  *[[http://cs.anu.edu.au/~bdm/nauty/| Nauty: a program for computing automorphism groups of graphs and digraphs]] by Brendan McKay   *[[http://cs.anu.edu.au/~bdm/nauty/| Nauty: a program for computing automorphism groups of graphs and digraphs]] by Brendan McKay
  *[[http://www.cs.unm.edu/~mccune/prover9/| Prover9: An Automated Deduction System]] by William McCune   *[[http://www.cs.unm.edu/~mccune/prover9/| Prover9: An Automated Deduction System]] by William McCune