Home

Contribute

Source code


1
2
3
4
5
6
7
8

Lanceur.wrong.framework=Wrong framework: try minisat or ubcsat
MoreThanSAT.0=Satisfiable \!
MoreThanSAT.1=BackBone:
MoreThanSAT.2=Counting solutions...
MoreThanSAT.3=Number of solutions: 
MoreThanSAT.4=Unsatisfiable\!
MoreThanSAT.5=Unsatisfiable (trivial)\!
MoreThanSAT.6=Timeout, sorry\!