sln_2021_24_sbv
Copyright(c) Eric Mertens 2021
LicenseISC
Maintaineremertens@gmail.com
Safe HaskellSafe-Inferred
LanguageHaskell2010

Main

Description

https://adventofcode.com/2021/day/24

Solve an arbitrary program using an SMT solver.

Synopsis

Documentation

main :: IO () Source #

>>> :main
49917929934999
11911316711816

Programs

Interpretation

Parsing