Generic root counts of tropically transverse polynomial systems

This repository contains code to compute the generic root count of tropically transverse systems, written in Julia. It uses the OSCAR Julia package.