├── .gitattributes ├── .gitignore ├── .gitmodules ├── .gradle-wrapper ├── gradle-wrapper.jar └── gradle-wrapper.properties ├── .travis.yml ├── CONTRIBUTING.md ├── LICENSE ├── README.md ├── cnf ├── .classpath ├── .gitignore ├── .project ├── build.bnd ├── central.xml ├── eclipse │ └── codeformatter.xml ├── ext │ ├── enroute-distro.bnd │ └── enroute.bnd ├── jars │ ├── JFlex.jar │ ├── java-cup-11a.jar │ └── java-cup-runtime-0.11-a-czt01-cdh.jar ├── release │ ├── index.xml │ └── index.xml.sha └── src │ └── .gitignore ├── gradle.properties ├── gradlew ├── gradlew.bat ├── org.alloytools.alloy.application ├── .classpath ├── .gitignore ├── .project ├── .settings │ ├── org.eclipse.core.resources.prefs │ ├── org.eclipse.core.runtime.prefs │ ├── org.eclipse.jdt.core.prefs │ └── org.eclipse.jdt.ui.prefs ├── bnd.bnd ├── lib │ └── apple-osx-ui.jar └── src │ ├── main │ ├── java │ │ └── edu │ │ │ └── mit │ │ │ └── csail │ │ │ └── sdg │ │ │ ├── alloy4graph │ │ │ ├── Artist.java │ │ │ ├── AvailableSpace.java │ │ │ ├── Curve.java │ │ │ ├── DotColor.java │ │ │ ├── DotDirection.java │ │ │ ├── DotPalette.java │ │ │ ├── DotShape.java │ │ │ ├── DotStyle.java │ │ │ ├── Graph.java │ │ │ ├── GraphEdge.java │ │ │ ├── GraphNode.java │ │ │ ├── GraphViewer.java │ │ │ └── package.html │ │ │ ├── alloy4viz │ │ │ ├── AlloyAtom.java │ │ │ ├── AlloyElement.java │ │ │ ├── AlloyInstance.java │ │ │ ├── AlloyModel.java │ │ │ ├── AlloyNodeElement.java │ │ │ ├── AlloyProjection.java │ │ │ ├── AlloyRelation.java │ │ │ ├── AlloySet.java │ │ │ ├── AlloyTuple.java │ │ │ ├── AlloyType.java │ │ │ ├── MagicColor.java │ │ │ ├── MagicLayout.java │ │ │ ├── MagicUtil.java │ │ │ ├── StaticGraphMaker.java │ │ │ ├── StaticInstanceReader.java │ │ │ ├── StaticProjector.java │ │ │ ├── StaticThemeReaderWriter.java │ │ │ ├── VizCustomizationPanel.java │ │ │ ├── VizGUI.java │ │ │ ├── VizGraphPanel.java │ │ │ ├── VizState.java │ │ │ ├── VizTree.java │ │ │ └── package.html │ │ │ └── alloy4whole │ │ │ ├── Alloy.java │ │ │ ├── DemoFileSystem.java │ │ │ ├── ExampleCompilingFromSource.java │ │ │ ├── ExampleUsingTheAPI.java │ │ │ ├── ExampleUsingTheCompiler.java │ │ │ ├── Helper.java │ │ │ ├── MacUtil.java │ │ │ ├── PreferencesDialog.java │ │ │ ├── SimpleCLI.java │ │ │ ├── SimpleGUI.java │ │ │ ├── SimpleMain.java │ │ │ ├── SimpleReporter.java │ │ │ ├── SwingLogPanel.java │ │ │ └── package.html │ └── resources │ │ └── images │ │ ├── 24_execute.gif │ │ ├── 24_execute_abort2.gif │ │ ├── 24_graph.gif │ │ ├── 24_history.gif │ │ ├── 24_new.gif │ │ ├── 24_open.gif │ │ ├── 24_plaintext.gif │ │ ├── 24_reload.gif │ │ ├── 24_save.gif │ │ ├── 24_settings.gif │ │ ├── 24_settings_apply.gif │ │ ├── 24_settings_apply2.gif │ │ ├── 24_settings_apply3.gif │ │ ├── 24_settings_close.gif │ │ ├── 24_settings_close2.gif │ │ ├── 24_settings_close3.gif │ │ ├── 24_settings_close4.gif │ │ ├── 24_settings_close5.gif │ │ ├── 24_texttree.gif │ │ ├── cb0.gif │ │ ├── cb1.gif │ │ ├── logo.gif │ │ ├── menu0.gif │ │ ├── menu1.gif │ │ ├── tcb01.gif │ │ ├── tcb02.gif │ │ ├── tcb03.gif │ │ └── tcb04.gif │ └── test │ ├── java │ ├── .gitignore │ └── edu │ │ └── mit │ │ └── csail │ │ └── sdg │ │ └── alloy4whole │ │ └── InternalTest.java │ └── tmp │ ├── AlloyTest.java │ ├── EvaluatorExample.java │ ├── KK.java │ ├── Ok.java │ ├── Test.java │ ├── Test1.java │ ├── TestSlow.java │ ├── TestSmallFast.java │ └── TestSmallSlow.java ├── org.alloytools.alloy.core ├── .classpath ├── .project ├── .settings │ ├── org.eclipse.core.resources.prefs │ ├── org.eclipse.core.runtime.prefs │ ├── org.eclipse.jdt.core.prefs │ └── org.eclipse.jdt.ui.prefs ├── bnd.bnd ├── build.gradle └── src │ ├── main │ ├── java │ │ ├── edu │ │ │ └── mit │ │ │ │ └── csail │ │ │ │ └── sdg │ │ │ │ ├── alloy4 │ │ │ │ ├── A4Preferences.java │ │ │ │ ├── A4Reporter.java │ │ │ │ ├── ByteBuffer.java │ │ │ │ ├── Computer.java │ │ │ │ ├── ConstList.java │ │ │ │ ├── ConstMap.java │ │ │ │ ├── ConstSet.java │ │ │ │ ├── DirectedGraph.java │ │ │ │ ├── Env.java │ │ │ │ ├── Err.java │ │ │ │ ├── ErrorAPI.java │ │ │ │ ├── ErrorFatal.java │ │ │ │ ├── ErrorSyntax.java │ │ │ │ ├── ErrorType.java │ │ │ │ ├── ErrorWarning.java │ │ │ │ ├── JoinableList.java │ │ │ │ ├── Listener.java │ │ │ │ ├── Listeners.java │ │ │ │ ├── MailBug.java │ │ │ │ ├── OurAntiAlias.java │ │ │ │ ├── OurBorder.java │ │ │ │ ├── OurCheckbox.java │ │ │ │ ├── OurCombobox.java │ │ │ │ ├── OurConsole.java │ │ │ │ ├── OurDialog.java │ │ │ │ ├── OurHighlighter.java │ │ │ │ ├── OurPDFWriter.java │ │ │ │ ├── OurPNGWriter.java │ │ │ │ ├── OurSyntaxDocument.java │ │ │ │ ├── OurSyntaxUndoableDocument.java │ │ │ │ ├── OurSyntaxWidget.java │ │ │ │ ├── OurTabbedSyntaxWidget.java │ │ │ │ ├── OurTree.java │ │ │ │ ├── OurUtil.java │ │ │ │ ├── Pair.java │ │ │ │ ├── Pos.java │ │ │ │ ├── Runner.java │ │ │ │ ├── SafeList.java │ │ │ │ ├── Subprocess.java │ │ │ │ ├── TableView.java │ │ │ │ ├── UniqueNameGenerator.java │ │ │ │ ├── Util.java │ │ │ │ ├── Version.java │ │ │ │ ├── WorkerEngine.java │ │ │ │ ├── XMLNode.java │ │ │ │ └── package.html │ │ │ │ ├── ast │ │ │ │ ├── Attr.java │ │ │ │ ├── Browsable.java │ │ │ │ ├── Clause.java │ │ │ │ ├── Command.java │ │ │ │ ├── CommandScope.java │ │ │ │ ├── Decl.java │ │ │ │ ├── Expr.java │ │ │ │ ├── ExprBad.java │ │ │ │ ├── ExprBadCall.java │ │ │ │ ├── ExprBadJoin.java │ │ │ │ ├── ExprBinary.java │ │ │ │ ├── ExprCall.java │ │ │ │ ├── ExprChoice.java │ │ │ │ ├── ExprConstant.java │ │ │ │ ├── ExprCustom.java │ │ │ │ ├── ExprHasName.java │ │ │ │ ├── ExprITE.java │ │ │ │ ├── ExprLet.java │ │ │ │ ├── ExprList.java │ │ │ │ ├── ExprQt.java │ │ │ │ ├── ExprUnary.java │ │ │ │ ├── ExprVar.java │ │ │ │ ├── Func.java │ │ │ │ ├── Module.java │ │ │ │ ├── ModuleReference.java │ │ │ │ ├── Sig.java │ │ │ │ ├── Type.java │ │ │ │ ├── VisitQuery.java │ │ │ │ ├── VisitQueryOnce.java │ │ │ │ ├── VisitReturn.java │ │ │ │ └── package.html │ │ │ │ ├── parser │ │ │ │ ├── Alloy.cup │ │ │ │ ├── Alloy.lex │ │ │ │ ├── CompFilter.java │ │ │ │ ├── CompLexer.java │ │ │ │ ├── CompModule.java │ │ │ │ ├── CompParser.java │ │ │ │ ├── CompSym.java │ │ │ │ ├── CompUtil.java │ │ │ │ ├── Macro.java │ │ │ │ ├── MarkdownHandler.java │ │ │ │ ├── generate-lexer.sh │ │ │ │ ├── generate-parser.sh │ │ │ │ ├── generate-parsing-trace-from-log.sh │ │ │ │ └── package.html │ │ │ │ ├── sim │ │ │ │ ├── SimAtom.java │ │ │ │ ├── SimCallback.java │ │ │ │ ├── SimInstance.java │ │ │ │ ├── SimTuple.java │ │ │ │ ├── SimTupleset.java │ │ │ │ └── package.html │ │ │ │ └── translator │ │ │ │ ├── A4Options.java │ │ │ │ ├── A4Solution.java │ │ │ │ ├── A4SolutionReader.java │ │ │ │ ├── A4SolutionWriter.java │ │ │ │ ├── A4Tuple.java │ │ │ │ ├── A4TupleSet.java │ │ │ │ ├── BookExamples.java │ │ │ │ ├── BoundsComputer.java │ │ │ │ ├── ConvToConjunction.java │ │ │ │ ├── ScopeComputer.java │ │ │ │ ├── Simplifier.java │ │ │ │ ├── TranslateAlloyToKodkod.java │ │ │ │ ├── TranslateKodkodToJava.java │ │ │ │ ├── WriteCNF.java │ │ │ │ ├── instance.txt │ │ │ │ └── package.html │ │ ├── java_cup │ │ │ └── runtime │ │ │ │ ├── DefaultSymbolFactory.java │ │ │ │ ├── Scanner.java │ │ │ │ ├── Symbol.java │ │ │ │ ├── SymbolFactory.java │ │ │ │ ├── lr_parser.java │ │ │ │ └── virtual_parse_stack.java │ │ └── org │ │ │ └── alloytools │ │ │ ├── alloy │ │ │ └── core │ │ │ │ ├── AlloyCore.java │ │ │ │ └── packageinfo │ │ │ ├── graphics │ │ │ └── util │ │ │ │ ├── AlloyGraphics.java │ │ │ │ └── packageinfo │ │ │ └── util │ │ │ └── table │ │ │ ├── Canvas.java │ │ │ ├── Cell.java │ │ │ ├── HTML.java │ │ │ ├── StringCell.java │ │ │ ├── Table.java │ │ │ └── packageinfo │ └── resources │ │ ├── .gitignore │ │ └── models │ │ └── util │ │ ├── boolean.als │ │ ├── graph.als │ │ ├── integer.als │ │ ├── natural.als │ │ ├── ordering.als │ │ ├── relation.als │ │ ├── seqrel.als │ │ ├── sequence.als │ │ ├── sequniv.als │ │ ├── ternary.als │ │ └── time.als │ └── test │ ├── java │ ├── .gitignore │ └── org │ │ └── alloytools │ │ ├── alloy │ │ └── core │ │ │ ├── AlloyModelsTest.java │ │ │ ├── PosTest.java │ │ │ └── TestReporter.java │ │ └── util │ │ └── table │ │ ├── CanvasTest.java │ │ └── TableTest.java │ └── resources │ └── test-recursion.als ├── org.alloytools.alloy.dist ├── .classpath ├── .gitignore ├── .project ├── .settings │ ├── org.eclipse.core.resources.prefs │ ├── org.eclipse.core.runtime.prefs │ ├── org.eclipse.jdt.core.prefs │ └── org.eclipse.jdt.ui.prefs ├── LICENSES │ ├── Alloy.txt │ ├── JavaCup.txt │ ├── Kodkod.txt │ ├── MiniSat.txt │ ├── SAT4J.txt │ └── ZChaff.txt ├── bnd.bnd ├── build.gradle ├── jar │ └── packr.jar ├── macos ├── package │ └── macosx │ │ ├── Alloy-Volume.icns │ │ ├── Alloy-background.png │ │ ├── Alloy-dmg-setup.scpt │ │ ├── Alloy.icns │ │ ├── AlloyFile.icns │ │ └── Info.plist └── src │ ├── main │ └── java │ │ └── .gitignore │ └── test │ └── java │ └── .gitignore ├── org.alloytools.alloy.extra ├── .classpath ├── .gitignore ├── .project ├── .settings │ ├── org.eclipse.core.resources.prefs │ ├── org.eclipse.core.runtime.prefs │ ├── org.eclipse.jdt.core.prefs │ └── org.eclipse.jdt.ui.prefs ├── bnd.bnd ├── extra │ ├── help │ │ ├── Nav.html │ │ ├── a4.html │ │ ├── analyses.html │ │ ├── gui.html │ │ ├── image │ │ │ ├── error.gif │ │ │ ├── general.gif │ │ │ ├── pref.gif │ │ │ ├── theme.gif │ │ │ ├── toolbar.gif │ │ │ ├── toolbarviz.gif │ │ │ ├── tree.gif │ │ │ ├── viz.gif │ │ │ └── xml.gif │ │ ├── index.html │ │ ├── path.html │ │ ├── private.html │ │ ├── run.html │ │ ├── seq.html │ │ ├── skolem.html │ │ ├── treeview.html │ │ ├── util.html │ │ ├── viz.html │ │ ├── vizview.html │ │ └── xmlview.html │ ├── icons │ │ ├── ColorIcons │ │ │ ├── black.gif │ │ │ ├── blue.gif │ │ │ ├── cadetblue.gif │ │ │ ├── chartreuse2.gif │ │ │ ├── cornflowerblue.gif │ │ │ ├── cyan.gif │ │ │ ├── darkolivegreen2.gif │ │ │ ├── gold.gif │ │ │ ├── green2.gif │ │ │ ├── lightgoldenrod.gif │ │ │ ├── lightgray.gif │ │ │ ├── limegreen.gif │ │ │ ├── magenta.gif │ │ │ ├── magic.gif │ │ │ ├── palevioletred.gif │ │ │ ├── red.gif │ │ │ ├── salmon.gif │ │ │ ├── white.gif │ │ │ └── yellow.gif │ │ ├── ShapeIcons │ │ │ ├── Mcircle.gif │ │ │ ├── Mdiamond.gif │ │ │ ├── Msquare.gif │ │ │ ├── box.gif │ │ │ ├── circle.gif │ │ │ ├── diamond.gif │ │ │ ├── doublecircle.gif │ │ │ ├── doubleoctagon.gif │ │ │ ├── egg.gif │ │ │ ├── ellipse.gif │ │ │ ├── hexagon.gif │ │ │ ├── house.gif │ │ │ ├── invhouse.gif │ │ │ ├── invtrapezium.gif │ │ │ ├── invtriangle.gif │ │ │ ├── octagon.gif │ │ │ ├── parallelogram.gif │ │ │ ├── trapezium.gif │ │ │ ├── triangle.gif │ │ │ └── tripleoctagon.gif │ │ └── StyleIcons │ │ │ ├── bold.gif │ │ │ ├── dashed.gif │ │ │ ├── dotted.gif │ │ │ └── solid.gif │ └── models │ │ ├── book │ │ ├── appendixA │ │ │ ├── addressBook1.als │ │ │ ├── addressBook2.als │ │ │ ├── barbers.als │ │ │ ├── closure.als │ │ │ ├── distribution.als │ │ │ ├── phones.als │ │ │ ├── prison.als │ │ │ ├── properties.als │ │ │ ├── ring.als │ │ │ ├── spanning.als │ │ │ ├── tree.als │ │ │ ├── tube.als │ │ │ └── undirected.als │ │ ├── appendixE │ │ │ ├── hotel.thm │ │ │ ├── p300-hotel.als │ │ │ ├── p303-hotel.als │ │ │ └── p306-hotel.als │ │ ├── chapter2 │ │ │ ├── addressBook1a.als │ │ │ ├── addressBook1b.als │ │ │ ├── addressBook1c.als │ │ │ ├── addressBook1d.als │ │ │ ├── addressBook1e.als │ │ │ ├── addressBook1f.als │ │ │ ├── addressBook1g.als │ │ │ ├── addressBook1h.als │ │ │ ├── addressBook2a.als │ │ │ ├── addressBook2b.als │ │ │ ├── addressBook2c.als │ │ │ ├── addressBook2d.als │ │ │ ├── addressBook2e.als │ │ │ ├── addressBook3a.als │ │ │ ├── addressBook3b.als │ │ │ ├── addressBook3c.als │ │ │ ├── addressBook3d.als │ │ │ └── theme.thm │ │ ├── chapter4 │ │ │ ├── filesystem.als │ │ │ ├── grandpa1.als │ │ │ ├── grandpa2.als │ │ │ ├── grandpa3.als │ │ │ └── lights.als │ │ ├── chapter5 │ │ │ ├── addressBook.als │ │ │ ├── lists.als │ │ │ ├── sets1.als │ │ │ └── sets2.als │ │ └── chapter6 │ │ │ ├── hotel.thm │ │ │ ├── hotel1.als │ │ │ ├── hotel2.als │ │ │ ├── hotel3.als │ │ │ ├── hotel4.als │ │ │ ├── mediaAssets.als │ │ │ ├── memory │ │ │ ├── abstractMemory.als │ │ │ ├── cacheMemory.als │ │ │ ├── checkCache.als │ │ │ ├── checkFixedSize.als │ │ │ ├── fixedSizeMemory.als │ │ │ └── fixedSizeMemory_H.als │ │ │ ├── ringElection.thm │ │ │ ├── ringElection1.als │ │ │ └── ringElection2.als │ │ └── examples │ │ ├── algorithms │ │ ├── dijkstra.als │ │ ├── messaging.als │ │ ├── opt_spantree.als │ │ ├── peterson.als │ │ ├── ringlead.als │ │ ├── s_ringlead.als │ │ ├── stable_mutex_ring.als │ │ ├── stable_orient_ring.als │ │ └── stable_ringlead.als │ │ ├── case_studies │ │ ├── chord.als │ │ ├── chord2.als │ │ ├── chordbugmodel.als │ │ ├── com.als │ │ ├── firewire.als │ │ ├── firewire.thm │ │ └── ins.als │ │ ├── electrum │ │ ├── buffer.ele │ │ ├── leader.ele │ │ ├── leader_events.ele │ │ └── trash.ele │ │ ├── puzzles │ │ ├── farmer.thm │ │ ├── handshake.als │ │ ├── handshake.thm │ │ └── hanoi.thm │ │ ├── systems │ │ ├── file_system.als │ │ ├── file_system.thm │ │ ├── javatypes_soundness.als │ │ ├── lists.als │ │ ├── lists.thm │ │ ├── marksweepgc.als │ │ └── views.als │ │ ├── toys │ │ ├── birthday.thm │ │ ├── ceilingsAndFloors.als │ │ ├── ceilingsAndFloors.thm │ │ ├── genealogy.thm │ │ ├── grandpa.thm │ │ ├── life.thm │ │ ├── numbering.als │ │ └── railway.thm │ │ └── tutorial │ │ └── farmer.als └── src │ ├── main │ └── java │ │ └── .gitignore │ └── test │ └── java │ └── .gitignore ├── org.alloytools.alloy.java └── .project ├── org.alloytools.kodkod.nativesat ├── .classpath ├── .gitignore ├── .project ├── .settings │ ├── org.eclipse.core.resources.prefs │ ├── org.eclipse.core.runtime.prefs │ ├── org.eclipse.jdt.core.prefs │ └── org.eclipse.jdt.ui.prefs ├── amd64-linux.bnd ├── bnd.bnd ├── jni │ ├── amd64-linux │ │ ├── electrod │ │ ├── libcryptominisat.so │ │ ├── libglucose.so │ │ ├── libglucose41.so │ │ ├── liblingeling.so │ │ ├── libminisat.so │ │ ├── libminisatprover.so │ │ └── libzchaffmincost.so │ ├── linux_x86_64 │ │ ├── cryptominisat │ │ ├── libglucose.so │ │ ├── liblingeling.so │ │ ├── libminisat.so │ │ └── libminisatprover.so │ ├── x86-freebsd │ │ ├── libminisat.so │ │ └── libminisatprover.so │ ├── x86-linux │ │ ├── cryptominisat │ │ ├── libcryptominisat.so │ │ ├── libglucose.so │ │ ├── liblingeling.so │ │ ├── libminisat.so │ │ ├── libminisatprover.so │ │ ├── libminisatproverx1.so │ │ └── libminisatx1.so │ ├── x86-mac │ │ ├── cryptominisat │ │ ├── electrod │ │ ├── libcryptominisat.la │ │ ├── libglucose.dylib │ │ ├── libglucose41.dylib │ │ ├── liblingeling.dylib │ │ ├── libminisat.dylib │ │ ├── libminisatprover.dylib │ │ └── plingeling │ └── x86-windows │ │ ├── cygglucose.dll │ │ ├── cygminisat.dll │ │ ├── cygminisatprover.dll │ │ ├── electrod.exe │ │ ├── libglucose.dll.a │ │ ├── libminisat.dll.a │ │ ├── libminisatprover.dll.a │ │ ├── minisat.dll │ │ └── minisatprover.dll ├── lib │ ├── cryptominisat-2.9.5 │ │ ├── AUTHORS │ │ ├── HOWTO_MinGW32 │ │ ├── HOWTO_VisualCpp │ │ ├── INSTALL │ │ ├── LICENSE-MIT │ │ ├── Makefile.am │ │ ├── Makefile.in │ │ ├── NEWS │ │ ├── README │ │ ├── TODO │ │ ├── aclocal.m4 │ │ ├── cmsat │ │ │ ├── Alg.h │ │ │ ├── BitArray.h │ │ │ ├── BothCache.cpp │ │ │ ├── BothCache.h │ │ │ ├── BoundedQueue.h │ │ │ ├── CSet.h │ │ │ ├── Clause.h │ │ │ ├── ClauseAllocator.cpp │ │ │ ├── ClauseAllocator.h │ │ │ ├── ClauseCleaner.cpp │ │ │ ├── ClauseCleaner.h │ │ │ ├── ClauseOffset.h │ │ │ ├── ClauseVivifier.cpp │ │ │ ├── ClauseVivifier.h │ │ │ ├── CompleteDetachReattacher.cpp │ │ │ ├── CompleteDetachReattacher.h │ │ │ ├── DataSync.cpp │ │ │ ├── DataSync.h │ │ │ ├── DimacsParser.cpp │ │ │ ├── DimacsParser.h │ │ │ ├── DoublePackedRow.h │ │ │ ├── FailedLitSearcher.cpp │ │ │ ├── FailedLitSearcher.h │ │ │ ├── Gaussian.cpp │ │ │ ├── Gaussian.h │ │ │ ├── GaussianConfig.h │ │ │ ├── Heap.h │ │ │ ├── Main.cpp │ │ │ ├── Main.h │ │ │ ├── Makefile.am │ │ │ ├── Makefile.in │ │ │ ├── MatrixFinder.cpp │ │ │ ├── MatrixFinder.h │ │ │ ├── MersenneTwister.h │ │ │ ├── OnlyNonLearntBins.cpp │ │ │ ├── OnlyNonLearntBins.h │ │ │ ├── PackedMatrix.h │ │ │ ├── PackedRow.cpp │ │ │ ├── PackedRow.h │ │ │ ├── PropBy.h │ │ │ ├── RestartTypeChooser.cpp │ │ │ ├── RestartTypeChooser.h │ │ │ ├── SCCFinder.cpp │ │ │ ├── SCCFinder.h │ │ │ ├── SharedData.h │ │ │ ├── Solver.cpp │ │ │ ├── Solver.h │ │ │ ├── SolverConf.cpp │ │ │ ├── SolverConf.h │ │ │ ├── SolverDebug.cpp │ │ │ ├── SolverMisc.cpp │ │ │ ├── SolverTypes.h │ │ │ ├── StateSaver.cpp │ │ │ ├── StateSaver.h │ │ │ ├── StreamBuffer.h │ │ │ ├── Subsumer.cpp │ │ │ ├── Subsumer.h │ │ │ ├── UselessBinRemover.cpp │ │ │ ├── UselessBinRemover.h │ │ │ ├── VarReplacer.cpp │ │ │ ├── VarReplacer.h │ │ │ ├── Vec.h │ │ │ ├── Watched.h │ │ │ ├── XSet.h │ │ │ ├── XorFinder.cpp │ │ │ ├── XorFinder.h │ │ │ ├── XorSubsumer.cpp │ │ │ ├── XorSubsumer.h │ │ │ ├── constants.h │ │ │ ├── msvc │ │ │ │ └── stdint.h │ │ │ └── time_mem.h │ │ ├── config.guess │ │ ├── config.h.in │ │ ├── config.sub │ │ ├── configure │ │ ├── configure.in │ │ ├── depcomp │ │ ├── install-sh │ │ ├── jni │ │ │ ├── kodkod_engine_satlab_CryptoMiniSat.cpp │ │ │ └── kodkod_engine_satlab_CryptoMiniSat.h │ │ ├── ltmain.sh │ │ ├── man │ │ │ ├── Makefile.am │ │ │ ├── Makefile.in │ │ │ └── cryptominisat.1 │ │ ├── missing │ │ └── wscript │ ├── glucose-2.1 │ │ ├── LICENSE │ │ ├── README │ │ ├── build.sh │ │ ├── clean.sh │ │ ├── glucose.sh │ │ ├── jni │ │ │ ├── kodkod_engine_satlab_Glucose.cpp │ │ │ └── kodkod_engine_satlab_Glucose.h │ │ ├── sources │ │ │ ├── SatELite │ │ │ │ ├── BcnfWriter.iC │ │ │ │ ├── ForMani │ │ │ │ │ ├── ADTs │ │ │ │ │ │ ├── FSet.h │ │ │ │ │ │ ├── File.C │ │ │ │ │ │ ├── File.h │ │ │ │ │ │ ├── File.od │ │ │ │ │ │ ├── File.or │ │ │ │ │ │ ├── Hash_standard.h │ │ │ │ │ │ ├── Makefile │ │ │ │ │ │ ├── Map.h │ │ │ │ │ │ ├── Set.h │ │ │ │ │ │ ├── Sort.h │ │ │ │ │ │ ├── StackAlloc.h │ │ │ │ │ │ ├── VecAlloc.h │ │ │ │ │ │ └── VecMaps.h │ │ │ │ │ ├── Global │ │ │ │ │ │ ├── Global.C │ │ │ │ │ │ ├── Global.h │ │ │ │ │ │ ├── Global.od │ │ │ │ │ │ ├── Global.or │ │ │ │ │ │ ├── Makefile │ │ │ │ │ │ ├── String.C │ │ │ │ │ │ └── String.h │ │ │ │ │ ├── dummy.mak │ │ │ │ │ ├── options.mak │ │ │ │ │ ├── standard.mak │ │ │ │ │ └── template.mak │ │ │ │ ├── Heap.h │ │ │ │ ├── Main.C │ │ │ │ ├── Main.h │ │ │ │ ├── Main_debug.C │ │ │ │ ├── Makefile │ │ │ │ ├── Profile.C │ │ │ │ ├── Profile.h │ │ │ │ ├── Queue.h │ │ │ │ ├── SatELite │ │ │ │ │ ├── BcnfWriter.iC │ │ │ │ │ ├── Heap.h │ │ │ │ │ ├── Main.C │ │ │ │ │ ├── Main.h │ │ │ │ │ ├── Main_debug.C │ │ │ │ │ ├── Makefile │ │ │ │ │ ├── Profile.C │ │ │ │ │ ├── Profile.h │ │ │ │ │ ├── Queue.h │ │ │ │ │ ├── Solver.C │ │ │ │ │ ├── Solver.h │ │ │ │ │ ├── SolverTypes.h │ │ │ │ │ ├── Solver_clause.iC │ │ │ │ │ ├── Solver_debug.C │ │ │ │ │ ├── Solver_subsume.C │ │ │ │ │ ├── TmpFiles.C │ │ │ │ │ ├── TmpFiles.h │ │ │ │ │ └── VarOrder.h │ │ │ │ ├── Solver.C │ │ │ │ ├── Solver.h │ │ │ │ ├── SolverTypes.h │ │ │ │ ├── Solver_clause.iC │ │ │ │ ├── Solver_debug.C │ │ │ │ ├── Solver_subsume.C │ │ │ │ ├── TmpFiles.C │ │ │ │ ├── TmpFiles.h │ │ │ │ └── VarOrder.h │ │ │ └── glucose │ │ │ │ ├── core │ │ │ │ ├── BoundedQueue.h │ │ │ │ ├── Constants.h │ │ │ │ ├── Dimacs.h │ │ │ │ ├── Main.cc │ │ │ │ ├── Makefile │ │ │ │ ├── Solver.cc │ │ │ │ ├── Solver.h │ │ │ │ └── SolverTypes.h │ │ │ │ ├── doc │ │ │ │ ├── ReleaseNotes-Glucose-2.1.txt │ │ │ │ └── ReleaseNotes-Minisat-2.2.0.txt │ │ │ │ ├── mtl │ │ │ │ ├── Alg.h │ │ │ │ ├── Alloc.h │ │ │ │ ├── Heap.h │ │ │ │ ├── IntTypes.h │ │ │ │ ├── Map.h │ │ │ │ ├── Queue.h │ │ │ │ ├── Sort.h │ │ │ │ ├── Vec.h │ │ │ │ ├── XAlloc.h │ │ │ │ ├── config.mk │ │ │ │ └── template.mk │ │ │ │ ├── simp │ │ │ │ ├── Main.cc │ │ │ │ ├── Makefile │ │ │ │ ├── SimpSolver.cc │ │ │ │ └── SimpSolver.h │ │ │ │ └── utils │ │ │ │ ├── Makefile │ │ │ │ ├── Options.cc │ │ │ │ ├── Options.h │ │ │ │ ├── ParseUtils.h │ │ │ │ ├── System.cc │ │ │ │ └── System.h │ │ └── wscript │ ├── glucose-syrup-4.1 │ │ ├── ._Changelog │ │ ├── ._LICENCE │ │ ├── ._README │ │ ├── ._core │ │ ├── ._mtl │ │ ├── ._parallel │ │ ├── ._simp │ │ ├── ._utils │ │ ├── jni │ │ │ ├── kodkod_engine_satlab_Glucose41.cpp │ │ │ └── kodkod_engine_satlab_Glucose41.h │ │ ├── sources │ │ │ ├── Changelog │ │ │ ├── LICENCE │ │ │ ├── README │ │ │ ├── core │ │ │ │ ├── ._BoundedQueue.h │ │ │ │ ├── ._Constants.h │ │ │ │ ├── ._Dimacs.h │ │ │ │ ├── ._Makefile │ │ │ │ ├── ._Solver.cc │ │ │ │ ├── ._Solver.h │ │ │ │ ├── ._SolverStats.h │ │ │ │ ├── ._SolverTypes.h │ │ │ │ ├── BoundedQueue.h │ │ │ │ ├── Constants.h │ │ │ │ ├── Dimacs.h │ │ │ │ ├── Makefile │ │ │ │ ├── Solver.cc │ │ │ │ ├── Solver.h │ │ │ │ ├── SolverStats.h │ │ │ │ └── SolverTypes.h │ │ │ ├── mtl │ │ │ │ ├── ._Alg.h │ │ │ │ ├── ._Alloc.h │ │ │ │ ├── ._Clone.h │ │ │ │ ├── ._Heap.h │ │ │ │ ├── ._IntTypes.h │ │ │ │ ├── ._Map.h │ │ │ │ ├── ._Queue.h │ │ │ │ ├── ._Sort.h │ │ │ │ ├── ._Vec.h │ │ │ │ ├── ._VecThreads.h │ │ │ │ ├── ._XAlloc.h │ │ │ │ ├── ._config.mk │ │ │ │ ├── ._template.mk │ │ │ │ ├── Alg.h │ │ │ │ ├── Alloc.h │ │ │ │ ├── Clone.h │ │ │ │ ├── Heap.h │ │ │ │ ├── IntTypes.h │ │ │ │ ├── Map.h │ │ │ │ ├── Queue.h │ │ │ │ ├── Sort.h │ │ │ │ ├── Vec.h │ │ │ │ ├── VecThreads.h │ │ │ │ ├── XAlloc.h │ │ │ │ ├── config.mk │ │ │ │ └── template.mk │ │ │ ├── parallel │ │ │ │ ├── ._ClausesBuffer.cc │ │ │ │ ├── ._ClausesBuffer.h │ │ │ │ ├── ._Main.cc │ │ │ │ ├── ._Makefile │ │ │ │ ├── ._MultiSolvers.cc │ │ │ │ ├── ._MultiSolvers.h │ │ │ │ ├── ._ParallelSolver.cc │ │ │ │ ├── ._ParallelSolver.h │ │ │ │ ├── ._SharedCompanion.cc │ │ │ │ ├── ._SharedCompanion.h │ │ │ │ ├── ._SolverCompanion.cc │ │ │ │ ├── ._SolverCompanion.h │ │ │ │ ├── ._SolverConfiguration.cc │ │ │ │ ├── ._SolverConfiguration.h │ │ │ │ ├── ClausesBuffer.cc │ │ │ │ ├── ClausesBuffer.h │ │ │ │ ├── Main.cc │ │ │ │ ├── Makefile │ │ │ │ ├── MultiSolvers.cc │ │ │ │ ├── MultiSolvers.h │ │ │ │ ├── ParallelSolver.cc │ │ │ │ ├── ParallelSolver.h │ │ │ │ ├── SharedCompanion.cc │ │ │ │ ├── SharedCompanion.h │ │ │ │ ├── SolverCompanion.cc │ │ │ │ ├── SolverCompanion.h │ │ │ │ ├── SolverConfiguration.cc │ │ │ │ └── SolverConfiguration.h │ │ │ ├── simp │ │ │ │ ├── ._Main.cc │ │ │ │ ├── ._Makefile │ │ │ │ ├── ._SimpSolver.cc │ │ │ │ ├── ._SimpSolver.h │ │ │ │ ├── Main.cc │ │ │ │ ├── Makefile │ │ │ │ ├── SimpSolver.cc │ │ │ │ └── SimpSolver.h │ │ │ └── utils │ │ │ │ ├── ._Makefile │ │ │ │ ├── ._Options.cc │ │ │ │ ├── ._Options.h │ │ │ │ ├── ._ParseUtils.h │ │ │ │ ├── ._System.cc │ │ │ │ ├── ._System.h │ │ │ │ ├── Makefile │ │ │ │ ├── Options.cc │ │ │ │ ├── Options.h │ │ │ │ ├── ParseUtils.h │ │ │ │ ├── System.cc │ │ │ │ └── System.h │ │ └── wscript │ ├── lingeling-587f │ │ ├── jni │ │ │ ├── kodkod_engine_satlab_Lingeling.c │ │ │ └── kodkod_engine_satlab_Lingeling.h │ │ ├── src │ │ │ ├── COPYING │ │ │ ├── NEWS │ │ │ ├── README │ │ │ ├── VERSION │ │ │ ├── configure │ │ │ ├── lglbnr.c │ │ │ ├── lglib.c │ │ │ ├── lglib.h │ │ │ ├── lglmain.c │ │ │ ├── makefile.in │ │ │ ├── mkconfig │ │ │ ├── plingeling.c │ │ │ └── profile.cnf.gz │ │ └── wscript │ ├── minisat-2.2.0 │ │ ├── LICENSE │ │ ├── README │ │ ├── core │ │ │ ├── Dimacs.h │ │ │ ├── Main.cc │ │ │ ├── Makefile │ │ │ ├── Solver.cc │ │ │ ├── Solver.h │ │ │ └── SolverTypes.h │ │ ├── doc │ │ │ └── ReleaseNotes-2.2.0.txt │ │ ├── jni │ │ │ ├── kodkod_engine_satlab_MiniSat.cpp │ │ │ └── kodkod_engine_satlab_MiniSat.h │ │ ├── mtl │ │ │ ├── Alg.h │ │ │ ├── Alloc.h │ │ │ ├── Heap.h │ │ │ ├── IntTypes.h │ │ │ ├── Map.h │ │ │ ├── Queue.h │ │ │ ├── Sort.h │ │ │ ├── Vec.h │ │ │ ├── XAlloc.h │ │ │ ├── config.mk │ │ │ └── template.mk │ │ ├── simp │ │ │ ├── Main.cc │ │ │ ├── Makefile │ │ │ ├── SimpSolver.cc │ │ │ └── SimpSolver.h │ │ ├── utils │ │ │ ├── Makefile │ │ │ ├── Options.cc │ │ │ ├── Options.h │ │ │ ├── ParseUtils.h │ │ │ ├── System.cc │ │ │ └── System.h │ │ └── wscript │ ├── minisat-p_v1.14 │ │ ├── core │ │ │ ├── File.C │ │ │ ├── File.h │ │ │ ├── Global.h │ │ │ ├── Heap.h │ │ │ ├── LICENSE │ │ │ ├── Proof.C │ │ │ ├── Proof.h │ │ │ ├── README │ │ │ ├── Solver.C │ │ │ ├── Solver.h │ │ │ ├── SolverTypes.h │ │ │ ├── Sort.h │ │ │ └── VarOrder.h │ │ ├── jni │ │ │ ├── kodkod_engine_satlab_MiniSatProver.cpp │ │ │ └── kodkod_engine_satlab_MiniSatProver.h │ │ └── wscript │ └── sat4j-core-v20120709 │ │ ├── org.sat4j.core-src.jar │ │ └── org.sat4j.core.jar ├── src │ ├── main │ │ └── java │ │ │ └── org │ │ │ └── alloytools │ │ │ └── nativecode │ │ │ └── util │ │ │ ├── NativeCode.java │ │ │ └── packageinfo │ └── test │ │ └── java │ │ └── .gitignore ├── util.bnd ├── x86-linux.bnd ├── x86-mac.bnd └── x86-windows.bnd ├── org.alloytools.util └── .project └── settings.gradle /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/.gitmodules -------------------------------------------------------------------------------- /.gradle-wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/.gradle-wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /.gradle-wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/.gradle-wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/.travis.yml -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/README.md -------------------------------------------------------------------------------- /cnf/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/cnf/.classpath -------------------------------------------------------------------------------- /cnf/.gitignore: -------------------------------------------------------------------------------- 1 | /generated/ 2 | /bin/ 3 | /cache/ 4 | local/index.* 5 | -------------------------------------------------------------------------------- /cnf/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/cnf/.project -------------------------------------------------------------------------------- /cnf/build.bnd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/cnf/build.bnd -------------------------------------------------------------------------------- /cnf/central.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/cnf/central.xml -------------------------------------------------------------------------------- /cnf/eclipse/codeformatter.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/cnf/eclipse/codeformatter.xml -------------------------------------------------------------------------------- /cnf/ext/enroute-distro.bnd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/cnf/ext/enroute-distro.bnd -------------------------------------------------------------------------------- /cnf/ext/enroute.bnd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/cnf/ext/enroute.bnd -------------------------------------------------------------------------------- /cnf/jars/JFlex.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/cnf/jars/JFlex.jar -------------------------------------------------------------------------------- /cnf/jars/java-cup-11a.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/cnf/jars/java-cup-11a.jar -------------------------------------------------------------------------------- /cnf/jars/java-cup-runtime-0.11-a-czt01-cdh.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/cnf/jars/java-cup-runtime-0.11-a-czt01-cdh.jar -------------------------------------------------------------------------------- /cnf/release/index.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/cnf/release/index.xml -------------------------------------------------------------------------------- /cnf/release/index.xml.sha: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/cnf/release/index.xml.sha -------------------------------------------------------------------------------- /cnf/src/.gitignore: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /gradle.properties: -------------------------------------------------------------------------------- 1 | bnd_version=4.2.0 2 | -------------------------------------------------------------------------------- /gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/gradlew -------------------------------------------------------------------------------- /gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/gradlew.bat -------------------------------------------------------------------------------- /org.alloytools.alloy.application/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/.classpath -------------------------------------------------------------------------------- /org.alloytools.alloy.application/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/.gitignore -------------------------------------------------------------------------------- /org.alloytools.alloy.application/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/.project -------------------------------------------------------------------------------- /org.alloytools.alloy.application/.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- 1 | eclipse.preferences.version=1 2 | encoding/=UTF-8 3 | -------------------------------------------------------------------------------- /org.alloytools.alloy.application/.settings/org.eclipse.core.runtime.prefs: -------------------------------------------------------------------------------- 1 | eclipse.preferences.version=1 2 | line.separator=\n 3 | -------------------------------------------------------------------------------- /org.alloytools.alloy.application/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /org.alloytools.alloy.application/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /org.alloytools.alloy.application/bnd.bnd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/bnd.bnd -------------------------------------------------------------------------------- /org.alloytools.alloy.application/lib/apple-osx-ui.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/lib/apple-osx-ui.jar -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/24_execute.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/24_execute.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/24_execute_abort2.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/24_execute_abort2.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/24_graph.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/24_graph.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/24_history.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/24_history.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/24_new.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/24_new.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/24_open.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/24_open.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/24_plaintext.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/24_plaintext.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/24_reload.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/24_reload.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/24_save.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/24_save.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/24_settings.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/24_settings.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/24_settings_apply.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/24_settings_apply.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/24_settings_apply2.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/24_settings_apply2.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/24_settings_apply3.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/24_settings_apply3.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/24_settings_close.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/24_settings_close.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/24_settings_close2.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/24_settings_close2.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/24_settings_close3.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/24_settings_close3.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/24_settings_close4.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/24_settings_close4.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/24_settings_close5.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/24_settings_close5.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/24_texttree.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/24_texttree.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/cb0.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/cb0.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/cb1.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/cb1.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/logo.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/logo.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/menu0.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/menu0.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/menu1.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/menu1.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/tcb01.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/tcb01.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/tcb02.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/tcb02.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/tcb03.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/tcb03.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/main/resources/images/tcb04.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/main/resources/images/tcb04.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/test/java/.gitignore: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/test/tmp/AlloyTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/test/tmp/AlloyTest.java -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/test/tmp/EvaluatorExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/test/tmp/EvaluatorExample.java -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/test/tmp/KK.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/test/tmp/KK.java -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/test/tmp/Ok.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/test/tmp/Ok.java -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/test/tmp/Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/test/tmp/Test.java -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/test/tmp/Test1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/test/tmp/Test1.java -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/test/tmp/TestSlow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/test/tmp/TestSlow.java -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/test/tmp/TestSmallFast.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/test/tmp/TestSmallFast.java -------------------------------------------------------------------------------- /org.alloytools.alloy.application/src/test/tmp/TestSmallSlow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.application/src/test/tmp/TestSmallSlow.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/.classpath -------------------------------------------------------------------------------- /org.alloytools.alloy.core/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/.project -------------------------------------------------------------------------------- /org.alloytools.alloy.core/.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- 1 | eclipse.preferences.version=1 2 | encoding/=UTF-8 3 | -------------------------------------------------------------------------------- /org.alloytools.alloy.core/.settings/org.eclipse.core.runtime.prefs: -------------------------------------------------------------------------------- 1 | eclipse.preferences.version=1 2 | line.separator=\n 3 | -------------------------------------------------------------------------------- /org.alloytools.alloy.core/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /org.alloytools.alloy.core/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /org.alloytools.alloy.core/bnd.bnd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/bnd.bnd -------------------------------------------------------------------------------- /org.alloytools.alloy.core/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/build.gradle -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/A4Preferences.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/A4Preferences.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/A4Reporter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/A4Reporter.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/ByteBuffer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/ByteBuffer.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Computer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Computer.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/ConstList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/ConstList.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/ConstMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/ConstMap.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/ConstSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/ConstSet.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/DirectedGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/DirectedGraph.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Env.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Env.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Err.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Err.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/ErrorAPI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/ErrorAPI.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/ErrorFatal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/ErrorFatal.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/ErrorType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/ErrorType.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Listener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Listener.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Listeners.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Listeners.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/MailBug.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/MailBug.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/OurBorder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/OurBorder.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/OurConsole.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/OurConsole.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/OurDialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/OurDialog.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/OurTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/OurTree.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/OurUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/OurUtil.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Pair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Pair.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Pos.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Pos.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Runner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Runner.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/SafeList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/SafeList.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Subprocess.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Subprocess.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/TableView.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/TableView.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Util.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Util.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Version.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/Version.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/XMLNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/XMLNode.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/package.html -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/Attr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/Attr.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/Browsable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/Browsable.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/Clause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/Clause.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/Command.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/Command.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/CommandScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/CommandScope.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/Decl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/Decl.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/Expr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/Expr.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprBad.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprBad.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprBadCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprBadCall.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprBadJoin.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprBadJoin.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprBinary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprBinary.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprCall.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprChoice.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprChoice.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprConstant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprConstant.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprCustom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprCustom.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprHasName.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprHasName.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprITE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprITE.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprLet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprLet.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprList.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprQt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprQt.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprUnary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprUnary.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprVar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/ExprVar.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/Func.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/Func.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/Module.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/Module.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/Sig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/Sig.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/Type.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/Type.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/VisitQuery.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/VisitQuery.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/VisitReturn.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/VisitReturn.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/ast/package.html -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/parser/Alloy.cup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/parser/Alloy.cup -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/parser/Alloy.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/parser/Alloy.lex -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/parser/CompFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/parser/CompFilter.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/parser/CompLexer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/parser/CompLexer.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/parser/CompModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/parser/CompModule.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/parser/CompParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/parser/CompParser.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/parser/CompSym.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/parser/CompSym.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/parser/CompUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/parser/CompUtil.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/parser/Macro.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/parser/Macro.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/parser/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/parser/package.html -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/sim/SimAtom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/sim/SimAtom.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/sim/SimCallback.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/sim/SimCallback.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/sim/SimInstance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/sim/SimInstance.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/sim/SimTuple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/sim/SimTuple.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/sim/SimTupleset.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/sim/SimTupleset.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/sim/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/sim/package.html -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/java_cup/runtime/Scanner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/java_cup/runtime/Scanner.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/java_cup/runtime/Symbol.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/java_cup/runtime/Symbol.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/java_cup/runtime/SymbolFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/java_cup/runtime/SymbolFactory.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/java_cup/runtime/lr_parser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/java_cup/runtime/lr_parser.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/org/alloytools/alloy/core/AlloyCore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/org/alloytools/alloy/core/AlloyCore.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/org/alloytools/alloy/core/packageinfo: -------------------------------------------------------------------------------- 1 | version 1.0.0 2 | -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/org/alloytools/graphics/util/packageinfo: -------------------------------------------------------------------------------- 1 | version 1.0.0 2 | -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/org/alloytools/util/table/Canvas.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/org/alloytools/util/table/Canvas.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/org/alloytools/util/table/Cell.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/org/alloytools/util/table/Cell.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/org/alloytools/util/table/HTML.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/org/alloytools/util/table/HTML.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/org/alloytools/util/table/Table.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/java/org/alloytools/util/table/Table.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/java/org/alloytools/util/table/packageinfo: -------------------------------------------------------------------------------- 1 | version 1.0.0 2 | -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/resources/.gitignore: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/resources/models/util/boolean.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/resources/models/util/boolean.als -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/resources/models/util/graph.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/resources/models/util/graph.als -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/resources/models/util/integer.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/resources/models/util/integer.als -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/resources/models/util/natural.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/resources/models/util/natural.als -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/resources/models/util/ordering.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/resources/models/util/ordering.als -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/resources/models/util/relation.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/resources/models/util/relation.als -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/resources/models/util/seqrel.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/resources/models/util/seqrel.als -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/resources/models/util/sequence.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/resources/models/util/sequence.als -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/resources/models/util/sequniv.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/resources/models/util/sequniv.als -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/resources/models/util/ternary.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/resources/models/util/ternary.als -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/main/resources/models/util/time.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/main/resources/models/util/time.als -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/test/java/.gitignore: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/test/java/org/alloytools/alloy/core/PosTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/test/java/org/alloytools/alloy/core/PosTest.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/test/java/org/alloytools/util/table/TableTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/test/java/org/alloytools/util/table/TableTest.java -------------------------------------------------------------------------------- /org.alloytools.alloy.core/src/test/resources/test-recursion.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.core/src/test/resources/test-recursion.als -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.dist/.classpath -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/.gitignore: -------------------------------------------------------------------------------- 1 | /bin/ 2 | /generated/ 3 | /target/ 4 | -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.dist/.project -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- 1 | eclipse.preferences.version=1 2 | encoding/=UTF-8 3 | -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/.settings/org.eclipse.core.runtime.prefs: -------------------------------------------------------------------------------- 1 | eclipse.preferences.version=1 2 | line.separator=\n 3 | -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.dist/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.dist/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/LICENSES/Alloy.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.dist/LICENSES/Alloy.txt -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/LICENSES/JavaCup.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.dist/LICENSES/JavaCup.txt -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/LICENSES/Kodkod.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.dist/LICENSES/Kodkod.txt -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/LICENSES/MiniSat.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.dist/LICENSES/MiniSat.txt -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/LICENSES/SAT4J.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.dist/LICENSES/SAT4J.txt -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/LICENSES/ZChaff.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.dist/LICENSES/ZChaff.txt -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/bnd.bnd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.dist/bnd.bnd -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.dist/build.gradle -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/jar/packr.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.dist/jar/packr.jar -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/macos: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.dist/macos -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/package/macosx/Alloy-Volume.icns: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.dist/package/macosx/Alloy-Volume.icns -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/package/macosx/Alloy-background.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.dist/package/macosx/Alloy-background.png -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/package/macosx/Alloy-dmg-setup.scpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.dist/package/macosx/Alloy-dmg-setup.scpt -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/package/macosx/Alloy.icns: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.dist/package/macosx/Alloy.icns -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/package/macosx/AlloyFile.icns: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.dist/package/macosx/AlloyFile.icns -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/package/macosx/Info.plist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.dist/package/macosx/Info.plist -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/src/main/java/.gitignore: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /org.alloytools.alloy.dist/src/test/java/.gitignore: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/.classpath -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/.gitignore: -------------------------------------------------------------------------------- 1 | /bin/ 2 | /generated/ 3 | -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/.project -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- 1 | eclipse.preferences.version=1 2 | encoding/=UTF-8 3 | -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/.settings/org.eclipse.core.runtime.prefs: -------------------------------------------------------------------------------- 1 | eclipse.preferences.version=1 2 | line.separator=\n 3 | -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/bnd.bnd: -------------------------------------------------------------------------------- 1 | -includeresource: extra -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/Nav.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/Nav.html -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/a4.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/a4.html -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/analyses.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/analyses.html -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/gui.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/gui.html -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/image/error.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/image/error.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/image/general.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/image/general.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/image/pref.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/image/pref.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/image/theme.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/image/theme.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/image/toolbar.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/image/toolbar.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/image/toolbarviz.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/image/toolbarviz.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/image/tree.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/image/tree.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/image/viz.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/image/viz.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/image/xml.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/image/xml.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/index.html -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/path.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/path.html -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/private.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/private.html -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/run.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/run.html -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/seq.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/seq.html -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/skolem.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/skolem.html -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/treeview.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/treeview.html -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/util.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/util.html -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/viz.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/viz.html -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/vizview.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/vizview.html -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/help/xmlview.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/help/xmlview.html -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ColorIcons/black.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ColorIcons/black.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ColorIcons/blue.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ColorIcons/blue.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ColorIcons/cadetblue.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ColorIcons/cadetblue.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ColorIcons/chartreuse2.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ColorIcons/chartreuse2.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ColorIcons/cornflowerblue.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ColorIcons/cornflowerblue.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ColorIcons/cyan.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ColorIcons/cyan.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ColorIcons/darkolivegreen2.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ColorIcons/darkolivegreen2.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ColorIcons/gold.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ColorIcons/gold.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ColorIcons/green2.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ColorIcons/green2.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ColorIcons/lightgoldenrod.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ColorIcons/lightgoldenrod.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ColorIcons/lightgray.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ColorIcons/lightgray.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ColorIcons/limegreen.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ColorIcons/limegreen.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ColorIcons/magenta.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ColorIcons/magenta.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ColorIcons/magic.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ColorIcons/magic.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ColorIcons/palevioletred.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ColorIcons/palevioletred.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ColorIcons/red.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ColorIcons/red.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ColorIcons/salmon.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ColorIcons/salmon.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ColorIcons/white.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ColorIcons/white.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ColorIcons/yellow.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ColorIcons/yellow.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ShapeIcons/Mcircle.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ShapeIcons/Mcircle.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ShapeIcons/Mdiamond.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ShapeIcons/Mdiamond.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ShapeIcons/Msquare.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ShapeIcons/Msquare.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ShapeIcons/box.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ShapeIcons/box.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ShapeIcons/circle.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ShapeIcons/circle.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ShapeIcons/diamond.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ShapeIcons/diamond.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ShapeIcons/doublecircle.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ShapeIcons/doublecircle.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ShapeIcons/doubleoctagon.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ShapeIcons/doubleoctagon.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ShapeIcons/egg.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ShapeIcons/egg.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ShapeIcons/ellipse.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ShapeIcons/ellipse.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ShapeIcons/hexagon.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ShapeIcons/hexagon.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ShapeIcons/house.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ShapeIcons/house.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ShapeIcons/invhouse.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ShapeIcons/invhouse.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ShapeIcons/invtrapezium.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ShapeIcons/invtrapezium.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ShapeIcons/invtriangle.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ShapeIcons/invtriangle.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ShapeIcons/octagon.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ShapeIcons/octagon.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ShapeIcons/parallelogram.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ShapeIcons/parallelogram.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ShapeIcons/trapezium.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ShapeIcons/trapezium.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ShapeIcons/triangle.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ShapeIcons/triangle.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/ShapeIcons/tripleoctagon.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/ShapeIcons/tripleoctagon.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/StyleIcons/bold.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/StyleIcons/bold.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/StyleIcons/dashed.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/StyleIcons/dashed.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/StyleIcons/dotted.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/StyleIcons/dotted.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/icons/StyleIcons/solid.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/icons/StyleIcons/solid.gif -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/appendixA/addressBook1.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/appendixA/addressBook1.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/appendixA/addressBook2.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/appendixA/addressBook2.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/appendixA/barbers.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/appendixA/barbers.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/appendixA/closure.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/appendixA/closure.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/appendixA/distribution.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/appendixA/distribution.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/appendixA/phones.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/appendixA/phones.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/appendixA/prison.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/appendixA/prison.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/appendixA/properties.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/appendixA/properties.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/appendixA/ring.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/appendixA/ring.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/appendixA/spanning.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/appendixA/spanning.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/appendixA/tree.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/appendixA/tree.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/appendixA/tube.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/appendixA/tube.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/appendixA/undirected.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/appendixA/undirected.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/appendixE/hotel.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/appendixE/hotel.thm -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/appendixE/p300-hotel.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/appendixE/p300-hotel.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/appendixE/p303-hotel.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/appendixE/p303-hotel.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/appendixE/p306-hotel.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/appendixE/p306-hotel.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook1a.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook1a.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook1b.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook1b.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook1c.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook1c.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook1d.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook1d.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook1e.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook1e.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook1f.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook1f.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook1g.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook1g.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook1h.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook1h.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook2a.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook2a.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook2b.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook2b.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook2c.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook2c.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook2d.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook2d.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook2e.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook2e.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook3a.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook3a.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook3b.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook3b.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook3c.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook3c.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook3d.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter2/addressBook3d.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter2/theme.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter2/theme.thm -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter4/filesystem.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter4/filesystem.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter4/grandpa1.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter4/grandpa1.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter4/grandpa2.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter4/grandpa2.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter4/grandpa3.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter4/grandpa3.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter4/lights.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter4/lights.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter5/addressBook.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter5/addressBook.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter5/lists.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter5/lists.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter5/sets1.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter5/sets1.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter5/sets2.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter5/sets2.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter6/hotel.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter6/hotel.thm -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter6/hotel1.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter6/hotel1.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter6/hotel2.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter6/hotel2.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter6/hotel3.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter6/hotel3.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter6/hotel4.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter6/hotel4.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter6/mediaAssets.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter6/mediaAssets.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter6/memory/abstractMemory.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter6/memory/abstractMemory.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter6/memory/cacheMemory.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter6/memory/cacheMemory.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter6/memory/checkCache.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter6/memory/checkCache.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter6/memory/checkFixedSize.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter6/memory/checkFixedSize.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter6/memory/fixedSizeMemory.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter6/memory/fixedSizeMemory.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter6/ringElection.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter6/ringElection.thm -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter6/ringElection1.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter6/ringElection1.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/book/chapter6/ringElection2.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/book/chapter6/ringElection2.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/algorithms/dijkstra.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/algorithms/dijkstra.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/algorithms/messaging.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/algorithms/messaging.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/algorithms/opt_spantree.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/algorithms/opt_spantree.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/algorithms/peterson.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/algorithms/peterson.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/algorithms/ringlead.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/algorithms/ringlead.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/algorithms/s_ringlead.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/algorithms/s_ringlead.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/algorithms/stable_ringlead.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/algorithms/stable_ringlead.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/case_studies/chord.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/case_studies/chord.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/case_studies/chord2.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/case_studies/chord2.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/case_studies/chordbugmodel.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/case_studies/chordbugmodel.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/case_studies/com.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/case_studies/com.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/case_studies/firewire.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/case_studies/firewire.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/case_studies/firewire.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/case_studies/firewire.thm -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/case_studies/ins.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/case_studies/ins.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/electrum/buffer.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/electrum/buffer.ele -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/electrum/leader.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/electrum/leader.ele -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/electrum/leader_events.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/electrum/leader_events.ele -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/electrum/trash.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/electrum/trash.ele -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/puzzles/farmer.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/puzzles/farmer.thm -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/puzzles/handshake.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/puzzles/handshake.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/puzzles/handshake.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/puzzles/handshake.thm -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/puzzles/hanoi.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/puzzles/hanoi.thm -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/systems/file_system.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/systems/file_system.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/systems/file_system.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/systems/file_system.thm -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/systems/javatypes_soundness.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/systems/javatypes_soundness.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/systems/lists.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/systems/lists.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/systems/lists.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/systems/lists.thm -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/systems/marksweepgc.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/systems/marksweepgc.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/systems/views.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/systems/views.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/toys/birthday.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/toys/birthday.thm -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/toys/ceilingsAndFloors.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/toys/ceilingsAndFloors.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/toys/ceilingsAndFloors.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/toys/ceilingsAndFloors.thm -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/toys/genealogy.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/toys/genealogy.thm -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/toys/grandpa.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/toys/grandpa.thm -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/toys/life.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/toys/life.thm -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/toys/numbering.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/toys/numbering.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/toys/railway.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/toys/railway.thm -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/extra/models/examples/tutorial/farmer.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.extra/extra/models/examples/tutorial/farmer.als -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/src/main/java/.gitignore: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /org.alloytools.alloy.extra/src/test/java/.gitignore: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /org.alloytools.alloy.java/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.alloy.java/.project -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/.classpath -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/.gitignore: -------------------------------------------------------------------------------- 1 | /bin/ 2 | /generated/ 3 | -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/.project -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- 1 | eclipse.preferences.version=1 2 | encoding/=UTF-8 3 | -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/.settings/org.eclipse.core.runtime.prefs: -------------------------------------------------------------------------------- 1 | eclipse.preferences.version=1 2 | line.separator=\n 3 | -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/amd64-linux.bnd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/amd64-linux.bnd -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/bnd.bnd: -------------------------------------------------------------------------------- 1 | -sub: *.bnd -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/amd64-linux/electrod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/amd64-linux/electrod -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/amd64-linux/libcryptominisat.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/amd64-linux/libcryptominisat.so -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/amd64-linux/libglucose.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/amd64-linux/libglucose.so -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/amd64-linux/libglucose41.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/amd64-linux/libglucose41.so -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/amd64-linux/liblingeling.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/amd64-linux/liblingeling.so -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/amd64-linux/libminisat.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/amd64-linux/libminisat.so -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/amd64-linux/libminisatprover.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/amd64-linux/libminisatprover.so -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/amd64-linux/libzchaffmincost.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/amd64-linux/libzchaffmincost.so -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/linux_x86_64/cryptominisat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/linux_x86_64/cryptominisat -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/linux_x86_64/libglucose.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/linux_x86_64/libglucose.so -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/linux_x86_64/liblingeling.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/linux_x86_64/liblingeling.so -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/linux_x86_64/libminisat.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/linux_x86_64/libminisat.so -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/linux_x86_64/libminisatprover.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/linux_x86_64/libminisatprover.so -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-freebsd/libminisat.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-freebsd/libminisat.so -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-freebsd/libminisatprover.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-freebsd/libminisatprover.so -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-linux/cryptominisat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-linux/cryptominisat -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-linux/libcryptominisat.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-linux/libcryptominisat.so -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-linux/libglucose.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-linux/libglucose.so -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-linux/liblingeling.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-linux/liblingeling.so -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-linux/libminisat.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-linux/libminisat.so -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-linux/libminisatprover.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-linux/libminisatprover.so -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-linux/libminisatproverx1.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-linux/libminisatproverx1.so -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-linux/libminisatx1.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-linux/libminisatx1.so -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-mac/cryptominisat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-mac/cryptominisat -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-mac/electrod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-mac/electrod -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-mac/libcryptominisat.la: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-mac/libcryptominisat.la -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-mac/libglucose.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-mac/libglucose.dylib -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-mac/libglucose41.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-mac/libglucose41.dylib -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-mac/liblingeling.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-mac/liblingeling.dylib -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-mac/libminisat.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-mac/libminisat.dylib -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-mac/libminisatprover.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-mac/libminisatprover.dylib -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-mac/plingeling: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-mac/plingeling -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-windows/cygglucose.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-windows/cygglucose.dll -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-windows/cygminisat.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-windows/cygminisat.dll -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-windows/cygminisatprover.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-windows/cygminisatprover.dll -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-windows/electrod.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-windows/electrod.exe -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-windows/libglucose.dll.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-windows/libglucose.dll.a -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-windows/libminisat.dll.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-windows/libminisat.dll.a -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-windows/libminisatprover.dll.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-windows/libminisatprover.dll.a -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-windows/minisat.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-windows/minisat.dll -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/jni/x86-windows/minisatprover.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/jni/x86-windows/minisatprover.dll -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/AUTHORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/AUTHORS -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/HOWTO_MinGW32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/HOWTO_MinGW32 -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/HOWTO_VisualCpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/HOWTO_VisualCpp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/INSTALL -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/LICENSE-MIT -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/Makefile.am -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/Makefile.in -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/NEWS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/NEWS -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/README -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/TODO -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/aclocal.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/aclocal.m4 -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Alg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Alg.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/BitArray.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/BitArray.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/BothCache.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/BothCache.cpp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/BothCache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/BothCache.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/BoundedQueue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/BoundedQueue.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/CSet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/CSet.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Clause.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Clause.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/ClauseAllocator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/ClauseAllocator.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/ClauseCleaner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/ClauseCleaner.cpp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/ClauseCleaner.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/ClauseCleaner.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/ClauseOffset.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/ClauseOffset.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/ClauseVivifier.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/ClauseVivifier.cpp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/ClauseVivifier.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/ClauseVivifier.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/DataSync.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/DataSync.cpp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/DataSync.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/DataSync.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/DimacsParser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/DimacsParser.cpp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/DimacsParser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/DimacsParser.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/DoublePackedRow.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/DoublePackedRow.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Gaussian.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Gaussian.cpp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Gaussian.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Gaussian.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/GaussianConfig.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/GaussianConfig.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Heap.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Main.cpp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Main.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Main.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Makefile.am -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Makefile.in -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/MatrixFinder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/MatrixFinder.cpp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/MatrixFinder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/MatrixFinder.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/MersenneTwister.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/MersenneTwister.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/PackedMatrix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/PackedMatrix.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/PackedRow.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/PackedRow.cpp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/PackedRow.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/PackedRow.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/PropBy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/PropBy.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/SCCFinder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/SCCFinder.cpp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/SCCFinder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/SCCFinder.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/SharedData.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/SharedData.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Solver.cpp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Solver.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/SolverConf.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/SolverConf.cpp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/SolverConf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/SolverConf.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/SolverDebug.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/SolverDebug.cpp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/SolverMisc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/SolverMisc.cpp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/SolverTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/SolverTypes.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/StateSaver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/StateSaver.cpp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/StateSaver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/StateSaver.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/StreamBuffer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/StreamBuffer.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Subsumer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Subsumer.cpp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Subsumer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Subsumer.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/VarReplacer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/VarReplacer.cpp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/VarReplacer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/VarReplacer.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Vec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Vec.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Watched.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/Watched.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/XSet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/XSet.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/XorFinder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/XorFinder.cpp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/XorFinder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/XorFinder.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/XorSubsumer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/XorSubsumer.cpp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/XorSubsumer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/XorSubsumer.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/constants.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/constants.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/msvc/stdint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/msvc/stdint.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/time_mem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/cmsat/time_mem.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/config.guess: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/config.guess -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/config.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/config.h.in -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/config.sub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/config.sub -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/configure -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/configure.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/configure.in -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/depcomp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/depcomp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/install-sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/install-sh -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/ltmain.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/ltmain.sh -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/man/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/man/Makefile.am -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/man/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/man/Makefile.in -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/man/cryptominisat.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/man/cryptominisat.1 -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/missing: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/missing -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/wscript: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/cryptominisat-2.9.5/wscript -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/LICENSE -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/README -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/build.sh -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/clean.sh -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/glucose.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/glucose.sh -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/BcnfWriter.iC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/BcnfWriter.iC -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/ForMani/dummy.mak: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Heap.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Main.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Main.C -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Main.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Main.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Main_debug.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Main_debug.C -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Makefile -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Profile.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Profile.C -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Profile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Profile.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Queue.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/SatELite/Heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/SatELite/Heap.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/SatELite/Main.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/SatELite/Main.C -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/SatELite/Main.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/SatELite/Main.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Solver.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Solver.C -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Solver.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/SolverTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/SolverTypes.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Solver_debug.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/Solver_debug.C -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/TmpFiles.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/TmpFiles.C -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/TmpFiles.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/TmpFiles.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/VarOrder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/SatELite/VarOrder.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/core/Constants.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/core/Constants.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/core/Dimacs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/core/Dimacs.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/core/Main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/core/Main.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/core/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/core/Makefile -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/core/Solver.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/core/Solver.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/core/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/core/Solver.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/Alg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/Alg.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/Alloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/Alloc.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/Heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/Heap.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/IntTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/IntTypes.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/Map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/Map.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/Queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/Queue.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/Sort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/Sort.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/Vec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/Vec.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/XAlloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/XAlloc.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/config.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/config.mk -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/template.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/mtl/template.mk -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/simp/Main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/simp/Main.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/simp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/simp/Makefile -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/utils/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/utils/Makefile -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/utils/Options.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/utils/Options.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/utils/Options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/utils/Options.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/utils/System.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/utils/System.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/utils/System.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/sources/glucose/utils/System.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-2.1/wscript: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-2.1/wscript -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/._Changelog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/._Changelog -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/._LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/._LICENCE -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/._README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/._README -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/._core: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/._core -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/._mtl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/._mtl -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/._parallel: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/._parallel -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/._simp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/._simp -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/._utils: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/._utils -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/Changelog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/Changelog -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/LICENCE -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/README -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/._Constants.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/._Constants.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/._Dimacs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/._Dimacs.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/._Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/._Makefile -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/._Solver.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/._Solver.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/._Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/._Solver.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/Constants.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/Constants.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/Dimacs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/Dimacs.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/Makefile -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/Solver.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/Solver.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/Solver.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/SolverStats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/SolverStats.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/SolverTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/core/SolverTypes.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._Alg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._Alg.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._Alloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._Alloc.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._Clone.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._Clone.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._Heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._Heap.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._IntTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._IntTypes.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._Map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._Map.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._Queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._Queue.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._Sort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._Sort.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._Vec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._Vec.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._VecThreads.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._VecThreads.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._XAlloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._XAlloc.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._config.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._config.mk -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._template.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/._template.mk -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/Alg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/Alg.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/Alloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/Alloc.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/Clone.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/Clone.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/Heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/Heap.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/IntTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/IntTypes.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/Map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/Map.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/Queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/Queue.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/Sort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/Sort.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/Vec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/Vec.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/VecThreads.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/VecThreads.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/XAlloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/XAlloc.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/config.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/config.mk -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/template.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/mtl/template.mk -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/parallel/._Main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/parallel/._Main.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/parallel/Main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/parallel/Main.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/parallel/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/parallel/Makefile -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/simp/._Main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/simp/._Main.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/simp/._Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/simp/._Makefile -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/simp/Main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/simp/Main.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/simp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/simp/Makefile -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/simp/SimpSolver.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/simp/SimpSolver.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/simp/SimpSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/simp/SimpSolver.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/._Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/._Makefile -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/._Options.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/._Options.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/._Options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/._Options.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/._System.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/._System.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/._System.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/._System.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/Makefile -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/Options.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/Options.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/Options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/Options.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/ParseUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/ParseUtils.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/System.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/System.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/System.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/sources/utils/System.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/wscript: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/glucose-syrup-4.1/wscript -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/COPYING -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/NEWS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/NEWS -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/README -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/VERSION: -------------------------------------------------------------------------------- 1 | 587f 2 | -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/configure -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/lglbnr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/lglbnr.c -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/lglib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/lglib.c -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/lglib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/lglib.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/lglmain.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/lglmain.c -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/makefile.in -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/mkconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/mkconfig -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/plingeling.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/plingeling.c -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/profile.cnf.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/lingeling-587f/src/profile.cnf.gz -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/lingeling-587f/wscript: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/lingeling-587f/wscript -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/LICENSE -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/README -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/core/Dimacs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/core/Dimacs.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/core/Main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/core/Main.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/core/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/core/Makefile -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/core/Solver.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/core/Solver.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/core/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/core/Solver.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/core/SolverTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/core/SolverTypes.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/doc/ReleaseNotes-2.2.0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/doc/ReleaseNotes-2.2.0.txt -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/Alg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/Alg.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/Alloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/Alloc.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/Heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/Heap.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/IntTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/IntTypes.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/Map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/Map.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/Queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/Queue.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/Sort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/Sort.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/Vec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/Vec.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/XAlloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/XAlloc.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/config.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/config.mk -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/template.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/mtl/template.mk -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/simp/Main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/simp/Main.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/simp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/simp/Makefile -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/simp/SimpSolver.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/simp/SimpSolver.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/simp/SimpSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/simp/SimpSolver.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/utils/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/utils/Makefile -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/utils/Options.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/utils/Options.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/utils/Options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/utils/Options.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/utils/ParseUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/utils/ParseUtils.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/utils/System.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/utils/System.cc -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/utils/System.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/utils/System.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/wscript: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-2.2.0/wscript -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/File.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/File.C -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/File.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/File.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/Global.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/Global.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/Heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/Heap.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/LICENSE -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/Proof.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/Proof.C -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/Proof.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/Proof.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/README -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/Solver.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/Solver.C -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/Solver.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/SolverTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/SolverTypes.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/Sort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/Sort.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/VarOrder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/core/VarOrder.h -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/wscript: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/minisat-p_v1.14/wscript -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/sat4j-core-v20120709/org.sat4j.core-src.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/sat4j-core-v20120709/org.sat4j.core-src.jar -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/lib/sat4j-core-v20120709/org.sat4j.core.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/lib/sat4j-core-v20120709/org.sat4j.core.jar -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/src/main/java/org/alloytools/nativecode/util/packageinfo: -------------------------------------------------------------------------------- 1 | version 1.0.0 2 | -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/src/test/java/.gitignore: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/util.bnd: -------------------------------------------------------------------------------- 1 | Export-Package: org.alloytools.nativecode.util -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/x86-linux.bnd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/x86-linux.bnd -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/x86-mac.bnd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/x86-mac.bnd -------------------------------------------------------------------------------- /org.alloytools.kodkod.nativesat/x86-windows.bnd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.kodkod.nativesat/x86-windows.bnd -------------------------------------------------------------------------------- /org.alloytools.util/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/org.alloytools.util/.project -------------------------------------------------------------------------------- /settings.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum2/HEAD/settings.gradle --------------------------------------------------------------------------------