GitHub repository: JHUAPL/lantern-smt
Primary language: Python
Created: 2020-07-01T19:09:41Z
Description: "Safer than a torch." Lantern provides utility functions to encode (certain) PyTorch modules as Z3 constraints.