MAINSAIL

MAchine INdependent SAIL

See SAIL[2].