 | Solving simple cardinality problem with Alloy API | 6 | 44 weeks 4 days ago
by scott | 42 weeks 6 days ago
by nico |
| Alloy Source Code is missing certain Classes | 1 | 46 weeks 6 days ago
by joel87 | 45 weeks 3 days ago
by nico |
| Fatal error when using TranslateAlloyToKodkod.execute_command | 1 | 45 weeks 3 days ago
by jtester | 45 weeks 3 days ago
by jtester |
| Alloy's Traces Predicate Identification | 1 | 46 weeks 1 day ago
by DanielCadete | 46 weeks 21 hours ago
by Jeremy.Jacob |
| Using alloy instances for creating Java instances and automatically generate testcase | 0 | 48 weeks 4 days ago
by jtester | n/a |
| Storing and retrieving alloy solution | 6 | 49 weeks 6 days ago
by sun4384 | 49 weeks 23 hours ago
by cyrus |
| Using MiniSAT with API | 13 | 51 weeks 18 hours ago
by sun4384 | 49 weeks 3 days ago
by nico |
| How to extract data from an alloy solution using the API | 1 | 1 year 8 weeks ago
by dermotcochran | 51 weeks 7 hours ago
by nico |
| Documentation: API does not load standalone facts | 0 | 1 year 1 week ago
by dermotcochran | n/a |
| Beginner Qs | 10 | 2 years 41 weeks ago
by smann | 1 year 1 week ago
by dermotcochran |
| Who to save Meta model to PNG | 2 | 1 year 9 weeks ago
by DanielCadete | 1 year 8 weeks ago
by DanielCadete |
| Best way to extract data from a Solution object | 5 | 1 year 19 weeks ago
by dermotcochran | 1 year 9 weeks ago
by dermotcochran |
| n queens problem by alloy | 2 | 1 year 38 weeks ago
by MRNMSC | 1 year 37 weeks ago
by MRNMSC |
| OutOfMemory Error just in the compiler version of Alloy4 | 2 | 1 year 47 weeks ago
by Hamid | 1 year 47 weeks ago
by Hamid |
| quick solution pls | 1 | 1 year 47 weeks ago
by tjaz | 1 year 47 weeks ago
by Jeremy.Jacob |
| how to efficiently analyze a model multiple times? (with slight variations at each execution) | 1 | 1 year 49 weeks ago
by sun4384 | 1 year 48 weeks ago
by sun4384 |
| Library Model | 4 | 2 years 13 weeks ago
by med | 2 years 13 weeks ago
by med |
| String Class Model | 0 | 2 years 24 weeks ago
by shafique | n/a |
| content of xml output in java application? | 2 | 2 years 31 weeks ago
by Michel | 2 years 31 weeks ago
by Michel |
| Determining mult. constraints of a signature field | 8 | 2 years 33 weeks ago
by ngc | 2 years 33 weeks ago
by Felix Chang |
| Does Expr.toString() return a valid Alloy string? | 1 | 2 years 33 weeks ago
by jfinkels | 2 years 33 weeks ago
by Felix Chang |
| Translating Alloy to Kodkod | 3 | 2 years 34 weeks ago
by jfinkels | 2 years 34 weeks ago
by Felix Chang |
| ExampleUsingTheAPI.java error? | 2 | 2 years 41 weeks ago
by vibber | 2 years 41 weeks ago
by Felix Chang |
| Using the Compiler with MiniSat | 1 | 2 years 49 weeks ago
by cyrus | 2 years 49 weeks ago
by Felix Chang |
| Performance of API operations | 6 | 3 years 5 weeks ago
by nicolas.rouquette | 3 years 4 weeks ago
by Felix Chang |
