Alloy Community

User login

bernardofbbraga

Home » User account
bernardofbbraga's picture

info

Name
Bernardo Ferreira Bastos Braga
Role
student
Location
Vitória - Espirito Santo - Brasil

History

Member for
1 year 11 weeks

Recent Activities
Forum topicWhich is the best solution? bernardofbbraga21 weeks 4 days ago
Forum topicInstance labels [PENDING] bernardofbbraga23 weeks 14 hours ago
Forum topicVisualization lines bernardofbbraga24 weeks 6 days ago
Forum topicAlloy's background theory bernardofbbraga25 weeks 6 days ago
Forum topicself refering function [BUG VERIFIED] bernardofbbraga28 weeks 13 hours ago
Forum topic Reference for use of util/ordering and symmetry breaking optimizations bernardofbbraga28 weeks 2 days ago
Forum topicAutomatically naming the instances generated in the visualization bernardofbbraga37 weeks 4 days ago
Forum topicsignatures derived from opening bernardofbbraga38 weeks 1 day ago
Forum topicMultiple instances of an ordered signature bernardofbbraga40 weeks 21 hours ago
Forum topicMultiple Projecting Visualization and visualization filtering bernardofbbraga49 weeks 17 hours ago
Forum topicModule parametrization and logical binding bernardofbbraga1 year 1 week ago

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte