eFLINT online!


Examples

Knowledge representation: Vehicles | Departments | Count Votes | Cast Votes
GPCE2020 paper examples: Help with homework | GDPR
Various: Buyer/Seller (v1) | Buyer/Seller (v2) | Buyer/Seller (v3) | Permit Applications | Permit Applications (v2) | Multiple taxpayers | Voting
Load file:

scenario

model name

response

output

frames

domains

initial state