First Order Logic

With Initial Dwarf

• 

  Stochastic Victory

  View more
• 

  (XjldS)

• 

  Celestial u6eC8

With Satisfiability Modulo Theories

• 

  he gets captured

• 

  (scFUD)

• 

  (sxfey)

With Corundum Glittering

• 

  Lady Selectia Dorkwed von Mess

• 

  (L0p9U)

• 

  (mvpkq)