Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Twist your logic with TouIST   SAT provers are powerful tools for solving real-sized logic problems, but
using them requires solid programming knowledge and may be seen w.r.t.\ logic
like assembly language w.r.t.\ programming. Something like a high level
language was missing to ease various users to take benefit of these tools. {\sc
\texttt {TouIST}}\ aims at filling this gap. It is devoted to propositional
logic and its main features are 1) to offer a high-level logic langage for
expressing succintly complex formulas (e.g.\ formulas describing Sudoku rules,
planification problems,\ldots) and 2) to find models to these formulas by using
the adequate powerful prover, which the user has no need to know about. It
consists in a friendly interface that offers several syntactic facilities and
which is connected with some sufficiently powerful provers allowing to
automatically solve big instances of difficult problems (such as time-tables or
Sudokus). It can interact with various provers: pure SAT solver but also SMT
provers (SAT modulo theories - like linear theory of reals, etc) and thus may
also be used by beginners for experiencing with pure propositional problems up
to graduate students or even researchers for solving planification problems
involving big sets of fluents and numerical constraints on them.

27
The categories of this paper are: comp-gas
16
The categories of this paper are: stat
36
The categories of this paper are: cmp-lg
14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
22
The categories of this paper are: chao-dyn
33
The categories of this paper are: plasm-ph
5
The categories of this paper are: gr-qc
21
The categories of this paper are: adap-org
3
The categories of this paper are: physics
31
The categories of this paper are: ao-sci
30
The categories of this paper are: q-alg
18
The categories of this paper are: econ
2
The categories of this paper are: math
32
The categories of this paper are: atom-ph
12
The categories of this paper are: nucl-th