Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
@nmacedo Can you take a look? I want to change the pardinus code to extract the Electrod code outside the core and into the native code. I still need to work a little bit more but need the help of David, we're working on this.
Basically I created a TemporalSolverFactory and implemented this in the SATFactory for electrod versions. In Pardinus, instead of checking for a string "electrod", it checks for the TemporalSolverFactory, and then uses to get the TermporalSolver ...
@nmacedo Can you take a look? I want to change the pardinus code to extract the Electrod code outside the core and into the native code. I still need to work a little bit more but need the help of David, we're working on this.
Basically I created a TemporalSolverFactory and implemented this in the SATFactory for electrod versions. In Pardinus, instead of checking for a string "electrod", it checks for the TemporalSolverFactory, and then uses to get the TermporalSolver ...