Skip to content
version with kodkod generation and tableview support