mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-10-19 01:00:36 +02:00
import Nemo: Group, GroupElem
This commit is contained in:
parent
ba04aa4f34
commit
54da1d326c
@ -4,6 +4,8 @@ using JLD
|
|||||||
using GroupRings
|
using GroupRings
|
||||||
using Memento
|
using Memento
|
||||||
|
|
||||||
|
import Nemo: Group, GroupElem
|
||||||
|
|
||||||
const logger = Memento.config("info", fmt="{msg}")
|
const logger = Memento.config("info", fmt="{msg}")
|
||||||
const solver_logger = Memento.config("info", fmt="{msg}")
|
const solver_logger = Memento.config("info", fmt="{msg}")
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user