Main Lemma Repository
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

1234
  1. REM If you want to avoid using Visual Studio, you can build using the .proj
  2. REM files within CMAKE as follows.
  3. cmake --build . --config=Release
  4. cmake --install . --config=Release