In this paper I describe Craft, a floating-point constraint solver that generates sets of random numbers satisfying designerspecified algebraic constraints. Craft is available both as a C# API and as a Unity3D component that allows designers to directly specify constraints in the Unity editor. Despite the exponential complexity of the algorithm, the algorithm performs well on design-inspired pr...

Abstract We define the notion of a specialization morphism from locally noetherian analytic adic space to scheme. This captures (classical) associated with formal There is well-behaved theory compactifications and it turns out that classical proper in this setup. As an application, we show nearby cycles functor commutes lower shriek great generality.