/cli
Sentient Lang.
What is Sentient?
Introduction
High-level
Declarative
Experimental
Recorded media
Introductory talk
Why are computers
Launch party
Example programs
Subset sum
Magic square
Knights tour
Eight queens
Disjoint rectangles
Golomb ruler
Self-enumerating pangram
Power concatenation
Nonogram (article)
Sudoku (article)
Three-colour numbers
Book numbers
Getting started
Introduction
Installing Sentient
Running in a Browser
Command-line interface
Hello, world!
Program breakdown
Multiple solutions
Assigning variables
Pre-compiling
Next steps
Practice exercises
Language syntax
Overview
Assignment
Expression
Declaration
Exposure
Invariant
Function
Conditional
Comment
Standard library
Overview
Boolean methods
Integer methods
Array methods
Literals
Command-line interface
Overview
Basic usage
--help
--version
--compile
--optimise
--run
--source
--exposed
--assign
--assign-file
--number
--machine
--info
--debug
JavaScript API
Overview
Sentient.compile
Sentient.run
Sentient.source
Sentient.exposed
Sentient.logger
Sentient.info
Supported Solvers
Overview
MiniSat
Riss
Lingeling
Syntax Highlighters
Vim
Emacs
Prism
Miscellaneous
Execution model
SAT and Sentient
--version
Prints the version number:
$
sentient
--version
1.0.0