# GeoGen for Linux

This is GeoGen 0.4.1-beta release for Linux.

GeoGen for Linux is officially supported on any RHEL8 or later Linux distribution.

To run GeoGen
```
$ ./geogen
```

GeoGen may not select your dedicated GPU by default if you have multiple GPUs or a discrete and integrated GPU setup. You can experiment with setting `DRI_PRIME` environment variable to delect different GPUs.
