The Collaborative International Dictionary of English v.0.48:

Conniver \Con*niv"er\, n.
   One who connives.
   [1913 Webster]

The Free On-line Dictionary of Computing (19 January 2023):

CONNIVER

    An artificial intelligence programming language for
   automatic theorem proving from MIT.  CONNIVER grew out of
   PLANNER and was based on coroutines rather than
   backtracking.  It allowed multiple database contexts with
   hypothetical assertions.

   ["The CONNIVER Reference Manual", D. McDermott & G.J. Sussman
   , AI Memo 259, MIT AI Lab, 1973].

   (1995-01-10)