.. This file is part of the OpenDSA eTextbook project. See
.. http://opendsa.org for more details.
.. Copyright (c) 2012-2020 by the OpenDSA Project Contributors, and
.. distributed under an MIT open source license.

.. avmetadata::
   :title: Formula Satisfiability
   :author: Nabanita Maji
   :institution: Virginia Tech
   :topic: NP-complete
   :keyword: NP-Complete; Satisfiability Problem
   :naturallanguage: en
   :programminglanguage: N/A
   :description: Visual introduction to the Formula Satisfiability (standard SAT) problem.

Formula Satisfiability
======================

Formula Satisfiability
----------------------

.. inlineav:: SATCON ss
   :long_name: Formula Satisfiability
   :links: AV/NP/SATCON.css
   :scripts: AV/NP/SATCON.js
   :output: show
   :keyword: NP-completeness; Satisfiability