TRILMAX summer school¶
School: TRILMAX summer school
Dates: 8-12 September of 2025
Location: Oviedo, Spain
Organized by: TRILMAX consortium
Slides Introduction to magnopy
Target magnopy's version: v0.2.1
Magnopy as a python library¶
To get the most out of magnopy, use it as a python library. This tutorial teaches you how to do so.
Every page of the tutorial explains a concept about magnopy. There is a list of "Tutorial tasks", that can be found on top of each page. The tasks are meant for you to complete after reading the corresponding page and referenced materials.
Magnopy as a black box¶
Magnopy can be used without any knowledge of Python programming. In other words it can be used as a black-box software via its command line interface.
First, one need to install magnopy. Open a terminal and run the following command (type the command and press enter)
pip install "magnopy[visual]"
Check that everything is ok by executing the command
magnopy
There are currently two command line scripts in magnopy. Use GROGU file that you have obtained to follow the tutorial for each of them.
Hint
Those scripts can be run from within python as well, see:
magnopy.scenarios. One can study the source code of
magnopy.scenarios.optimize_sd() and
magnopy.scenarios.solve_lswt() for more advance example of how
magnopy can be used as a python library.
Preparing files for Vampire¶
This tutorial gives instructions on how to generate .UCF and .mat files from GROGU file with magnopy.
