Computer classification of linear codes based on lattice point enumeration and integer linear programming | Synapse