Commit Graph

2 Commits

Author SHA1 Message Date
Andreas Fabri 223b188f03 Add is_valid(G) 2014-05-30 15:24:51 +02:00
Andreas Fabri 3ad8f65d28 small fixes 2014-05-22 10:36:50 +02:00