/*++
Copyright (c) 2019 Microsoft Corporation
Module Name:
special_relations_tactic.cpp
Abstract:
Detect special relations in an axiomatization,
rewrite goal using special relations.
Author:
Nikolaj Bjorner (nbjorner) 2019-03-28
Notes:
--*/
#include "tactic/core/special_relations_tactic.h"