Added some solver primitives