hub / github.com/aleksandarmilicevic/hola

github.com/aleksandarmilicevic/hola @v0.3_2019-03-23

repository ↗ · DeepWiki ↗ · release v0.3_2019-03-23 ↗ · + Follow

2,692 symbols 9,940 edges 157 files 1,923 documented · 71% ● updated 6y agov0.3_2019-03-23 · 2019-03-23★ 382 open issues

Browse by type

⨍ Functions 2,467◇ Types & classes 225

What it actually does AI analysis from the code graph — generated when you open this

loading…

README

Alloy*

Alloy is a fully automatic higher-order solver over finite relational domains. Alloy retains the language of Alloy (predicate logic + relational algebra); it implements CEGIS on top of Kodkod to permit higher-order quantification. Alloy* imposes no restrictions on where higher-order quantifiers may be found or how deeply they may be nested.

More documentation can be found at: https://aleksandarmilicevic.github.io/hola/

Download

Compile from sources

Please contact Aleksandar Milicevic aleks@csail.mit.edu for instructions.

Extension points exported contracts — how you extend this code

WorkerTask (Interface)

This defines an interface for performing tasks in a subprocess. [12 implementers]

src/edu/mit/csail/sdg/alloy4/WorkerEngine.java

Scanner (Interface)

(no doc) [3 implementers]

src/java_cup/runtime/Scanner.java

Listener (Interface)

This defines an interface for receiving events. [7 implementers]

src/edu/mit/csail/sdg/alloy4/Listener.java

SymbolFactory (Interface)

(no doc) [2 implementers]

src/java_cup/runtime/SymbolFactory.java

SimCallback (Interface)

This interface represents callback objects (that can be plugged into SimContext to perform more efficient evaluations) [3 …

src/edu/mit/csail/sdg/alloy4compiler/sim/SimCallback.java

WorkerCallback (Interface)

This defines an interface for receiving results from a subprocess. [3 implementers]

src/edu/mit/csail/sdg/alloy4/WorkerEngine.java

Computer (Interface)

This defines a compute() method that takes an Object input and produces a String output. [3 implementers]

src/edu/mit/csail/sdg/alloy4/Computer.java

Core symbols most depended-on inside this repo

get

called by 274

src/edu/mit/csail/sdg/alloy4compiler/ast/Decl.java

append

called by 273

src/edu/mit/csail/sdg/alloy4compiler/sim/SimTuple.java

get

called by 269

src/edu/mit/csail/sdg/alloy4/Env.java

add

called by 240

src/edu/mit/csail/sdg/alloy4compiler/ast/Type.java

add

called by 234

src/edu/mit/csail/sdg/alloy4/SafeList.java

size

called by 230

src/edu/mit/csail/sdg/alloy4/ConstSet.java

size

called by 229

src/edu/mit/csail/sdg/alloy4compiler/ast/Type.java

get

called by 159

src/edu/mit/csail/sdg/alloy4viz/VizState.java

Shape

Method 2,466

Class 199

Enum 17

Interface 9

Function 1

Languages

Java100%

TypeScript1%

Modules by API surface

src/edu/mit/csail/sdg/alloy4whole/SimpleGUI.java135 symbols

src/edu/mit/csail/sdg/alloy4compiler/ast/Expr.java88 symbols

src/edu/mit/csail/sdg/alloy4/A4Preferences.java77 symbols

src/edu/mit/csail/sdg/alloy4compiler/translator/A4Solution.java76 symbols

src/edu/mit/csail/sdg/alloy4compiler/parser/CompModule.java76 symbols

src/edu/mit/csail/sdg/alloy4whole/PreferencesDialog.java73 symbols

src/edu/mit/csail/sdg/alloy4/OurSyntaxWidget.java68 symbols

src/edu/mit/csail/sdg/alloy4viz/VizGUI.java62 symbols

src/edu/mit/csail/sdg/alloy4whole/SimpleReporter.java59 symbols

src/edu/mit/csail/sdg/alloy4compiler/ast/Type.java56 symbols

src/edu/mit/csail/sdg/alloy4viz/VizState.java54 symbols

src/edu/mit/csail/sdg/alloy4compiler/ast/IntScope.java53 symbols

For agents

$ claude mcp add hola \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact