BBa_K1728015
BBa_K1728015 Version 1 (Component)
SAT partial sequence with T7 promoter

BBa_J100000
BBa_J100000 Version 1 (Component)
Cre with 8bp restriction sites and 1-Clause 2-SAT Problem Inserted

BBa_K199145
BBa_K199145 Version 1 (Component)
Lux positive feedback loop (CGGUC 1-SAT)

BBa_K199144
BBa_K199144 Version 1 (Component)
Lux positive feedback loop (CCACU 1-SAT)

BBa_K199147
BBa_K199147 Version 1 (Component)
Lux positive feedback loop (CCAUC 1-SAT)

pSBBs0K
BBa_K823026 Version 1 (Component)
pSB_Bs0K-P_spac (replicative Bacillus subtilis expression vector; IPTG inducible

BBa_K302023
BBa_K302023 Version 1 (Component)
spaS

BBa_J100045
BBa_J100045 Version 1 (Component)
LuxI/GFP with 4 clause 2-SAT problem

BBa_J100041
BBa_J100041 Version 1 (Component)
LuxI/GFP with 3 clause 2-SAT problem

BBa_J100043
BBa_J100043 Version 1 (Component)
LuxI/GFP with 3 clause 3-SAT problem

BBa_K1728019
BBa_K1728019 Version 1 (Component)
SAT toehold switch RNA sensor with T7 promoter & luciferase reporter

BBa_K302025
BBa_K302025 Version 1 (Component)
spaB

BBa_J100016
BBa_J100016 Version 1 (Component)
2 Clause 2-SAT Problem with Frameshifted LuxI and a GFP Reporter

BBa_J100015
BBa_J100015 Version 1 (Component)
1 Clause 2-SAT Problem with Frameshifted LuxI and a GFP Reporter

BBa_J100017
BBa_J100017 Version 1 (Component)
TT+pLux+RBS+LuxI(2-SAT 2 clause)+RBS+GFP+pLac+RBS+LuxR+tRNAs