Publish prototype of solver for finite domains.