Yarralumla -
Yet Another Range Restriction Avoiding Loops Under Much Less Assumptions

Yarralumla is also a beautiful suburb in Canberra, ACT, Australia.

Yarralumla implements various transformations on clause logic formulas for the purpose of applying first-order bottom-up model generation (BUMG) systems. The transformations are thought to be useful to compute (finite) models, not to find refutations.

See the paper Improved Bottom-Up Model Generation by Peter Baumgartner and Renate Schmidt for a description of the transformations and the theory behind.

For meaningful operation one needs at the back-end a BUMG system. We experimented with two such systems, KRHyper and MSPASS.

Download and Further links

In case of questions or suggestions please contact Peter Baumgartner. Any feedback will be appreciated.


Some library code for input/output is taken from Christoph Wernhard's KRHyper distribution.

Last modified: Fri Mar 31 17:52:30 EST 2006