We implemented a system that computes bankruptcy rules. The implemented rules are: The Talmud, the Proportional, the Truncated Proportional, the Adjusted Proportional, the Constrained Equal Awards and the Random Arrival rule.
The system computes, compares and graphics the different allocations to claimants. We present some applications and examples exported by the system.