[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: [tlaplus] The effect of symmetry sets on TLC performance
From
: Ron Pressler <
r...@xxxxxxxxxxxxxxxxxxx
>
Date
: Wed, 2 Dec 2015 07:56:40 -0800 (PST)
References
: <
feb1173e-380c-4cb1-80ac-a5d8edf1c108@googlegroups.com
> <
565EEE21.6080007@lemmster.de
>
Don't know about a stripped-down spec (it's quite large), but I could send you (for the time being only privately) the actual spec+model. What email address should I send it to?
Ron
References
:
The effect of symmetry sets on TLC performance
From:
Ron Pressler
Re: [tlaplus] The effect of symmetry sets on TLC performance
From:
Markus Alexander Kuppe
Prev by Date:
Re: [tlaplus] New release: TLAPS version 1.4.3
Next by Date:
Re: TLC code
Previous by thread:
Re: [tlaplus] The effect of symmetry sets on TLC performance
Next by thread:
Re: The effect of symmetry sets on TLC performance
Index(es):
Date
Thread