< Two-way maximum AutoProof Code Repository  

Two-way sort

Category: Algorithm

Source: VSTTE'12

Description

A boolean array can be sorted in linear time using swaps at both ends. Verify this algorithm.

download source

Code