oopsla25 draft

A working version of the FLV tool. Requires cleanup before it is camera ready.

FOSSIL Artifact for OOPSLA2022

This minimal artifact contains code to reproduce experiments reported in the OOPSLA 2022 paper "Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints".