There is a paper draft at <a href="https:&#x2F;&#x2F;github.com&#x2F;FLIF-hub&#x2F;FLIF-doc" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;FLIF-hub&#x2F;FLIF-doc</a>, but most of the details still have to be written down (i.e. they&#x27;re only in the code).<p>Writing out the detailed spec is going to take some effort.