Logic Solvers - Revision history

Jpye: Redirected page to Category:Logic Solvers

2010-12-14T22:16:18Z

Redirected page to Category:Logic Solvers

← Older revision		Revision as of 22:16, 14 December 2010
Line 1:		Line 1:
	~~{{solvers}}~~		#REDIRECT [[:Category:Logic Solvers]]
	~~{{stub}}~~

	Logic solvers allow the precedence order of a series of boolean relations to be determines, so that they can be evaluated in the correct order. [[LRSlv]] is presently the only solver that provides this functionality.

	~~[[LRSlv]] can only solve a boolean system if there are no blocks of equations with more than one '''relation'''. This could be implemented but would require a more advanced logic solver.~~

	~~We propose to examine options in connecting a SAT solver to ASCEND, to see if that's likely to be a useful development. See also [[ABsolver]].~~

	[[Category:Solvers]]
	~~[[Category:Stubs~~]]

Jpye at 08:35, 2 August 2010

2010-08-02T08:35:20Z

@@ Line 1: / Line 1: @@
-{| class="wikitable"
+{{solvers}}
-|-
+{{stub}}
 Logic solvers allow the precedence order of a series of boolean relations to be determines, so that they can be evaluated in the correct order. [[LRSlv]] is presently the only solver that provides this functionality.
@@ Line 53: / Line 6: @@
 [[LRSlv]] can only solve a boolean system if there are no blocks of equations with more than one '''relation'''. This could be implemented but would require a more advanced logic solver.
-We propose to examine options in connecting a SAT solver to ASCEND, to see if that's likely to be a useful development.
+[[Category:Solvers]]
 [[Category:Stubs]]

UploadBot: Restored page from Google Cache, uploaded by John Pye

2010-05-13T13:27:59Z

Restored page from Google Cache, uploaded by John Pye

New page

{| class="wikitable"
|-
! '''[[NLA]]'''
|-
| '''[[QRSlv]]'''
|-
| '''[[CMSlv]]'''
|-
| '''[[IPSlv]]'''
|-
| '''[[Opt]]'''
|-
! '''[[NLP]]'''
|-
| '''[[CONOPT]]'''
|-
| '''[[IPOPT]]'''
|-
| '''[[TRON]]'''
|-
| '''[[MINOS]]'''
|-
| '''[[NGSlv]]'''
|-
| '''[[OptSQP]]'''
|-
! '''[[DAE]]/[[ODE]]'''
|-
| '''[[IDA]]'''
|-
| '''[[LSODE]]'''
|-
| '''[[DOPRI5]]'''
|-
! '''[[LA]]'''
|-
| '''[[linsolqr]]'''
|-
| '''[[linsol]]'''
|-
! '''[[LP]]'''
|-
| '''[[MakeMPS]]'''
|-
! '''<strong class="selflink">Logic</strong>'''
|-
| '''[[LRSlv]]'''
|}
<div class="notice metadata" id="stub">''This article is a '''stub'''. You can help out by <span class="plainlinks">[http://ascendwiki.cheme.cmu.edu/index.php?title=Logic_Solvers&action=edit expanding it]</span>. ''</div>

Logic solvers allow the precedence order of a series of boolean relations to be determines, so that they can be evaluated in the correct order. [[LRSlv]] is presently the only solver that provides this functionality.

[[LRSlv]] can only solve a boolean system if there are no blocks of equations with more than one '''relation'''. This could be implemented but would require a more advanced logic solver.

We propose to examine options in connecting a SAT solver to ASCEND, to see if that's likely to be a useful development.

See also [[ABsolver]].

[[Category:Solvers]]
[[Category:Stubs]]