Custom URL deployment

[sdemarch]

The public URL www.neuralverification.org is not working, it is necessary to set the correct parameters in the URL provider

[KarimPedemonte]

Temporarily reverted to default domain