Team Line Graph

This repository contains source codes for ICFP Programming Contest 2018.

Team Dashboard

Members

• @lennmars
• @nu4nu
• @nya3jp
• @ytsmiling

Programming languages

• C++ for main solutions
• JavaScript for visualizer
• Python for everything else

How to build and run our solution

Prerequisites

Bazel is required to build our solution. See this page for instructions:

https://docs.bazel.build/versions/master/install.html

Build

bazel build //solver

Run

Assembler (for FA* models)

bazel-bin/solver/solver --impl line_assembler --target path/to/FA000_tgt.mdl --output out.nbt

Deassembler (for FD* models)

bazel-bin/solver/solver --impl delete3 --source path/to/FD000_src.mdl --output out.nbt

Reassembler (for FR* models)

bazel-bin/solver/solver --impl reassemble_naive --disasm delete3 --asm line_assembler --source path/to/FR000_src.mdl --target path/to/FR000_tgt.mdl --output out.nbt

Index

• Simulator in C++
• Solver in C++
  • Entry point
  • Solver implementations
  • Solver framework ("Tasks")
  • Assembler: "Line assembler"
  • Deassembler: "Deleter"
  • Reassembler: "Naive reassembler"
• Solver in Python for day 1
• Visualizer
• Reference simulator local runner with Node.js
• Hand-assembled solution in Python
• Hand-assembled solution in C++
• Model/Trace database