Grinvin 1.2 released

The second major release of the GrInvIn framework.

After a year of development we released GrInvIn 1.2 today. It includes several new features such as graph generators, multiple conjecturings and a library of graphs. You can find the GrInvIn binaries and source code on the downloads page.