Issues Show Unassigned Show All Search
Login Remember me? Register Lost your login?
Help Roundup docs
Created on 2025-02-27.14:39:38 by jendrik, last changed by clemens.
As discussed in today's Fast Downward meeting we want to rename FactProxy to AtomProxy and FactPair to Atom. The motivation is to better align with standard naming conventions in the planning literature and other research fields.