Explore projects
-
Updated
-
Updated
-
Minimization of "And-Inverter-Graphs" (AIGs) by rewriting
Updated -
Updated
-
This demo contains basic code to access Excel sheet data via different programming languages (Java, C#, Python)
Updated -
-
-
-
SEPP / SEPPtool
MIT LicenseTool to perfom quantum mechanics calculations needed for the segment-based equation of state parameter prediction (SEPP).
Updated -
Stuff for the RERS challenge 2020
Updated -
Updated