1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-27 02:45:30 +01:00
PropertyT.jl/scripts
2024-02-27 18:14:59 +01:00
..
argparse.jl add script for SpN_Adj.jl 2022-11-17 02:50:48 +01:00
G₂_Adj.jl add scripts for SpNZ and G₂ 2024-02-19 18:47:29 +01:00
G₂_gens.jl add G₂ script 2023-03-20 01:40:59 +01:00
G₂_has_T.jl rm Manifest and update scripts 2023-05-08 17:49:32 +02:00
Manifest.toml add JuMP to scripts/Project.toml 2024-02-27 18:13:10 +01:00
PRA_has_T.jl add scripts/PRA_has_T.jl 2024-02-27 18:14:59 +01:00
Project.toml add JuMP to scripts/Project.toml 2024-02-27 18:13:10 +01:00
SAutFN_has_T.jl update/add scripts for SLNZ/SAutFn 2024-02-19 18:45:02 +01:00
SLn_Adj.jl update/add scripts for SLNZ/SAutFn 2024-02-19 18:45:02 +01:00
SLNZ_has_T.jl update/add scripts for SLNZ/SAutFn 2024-02-19 18:45:02 +01:00
SpN_Adj.jl add scripts for SpNZ and G₂ 2024-02-19 18:47:29 +01:00
SpNZ_has_T.jl add scripts for SpNZ and G₂ 2024-02-19 18:47:29 +01:00
utils.jl fix: solution[:warm] saving and loading 2024-02-19 18:43:17 +01:00